[Varies] User Interface for Automata Library
We have a tool that can perform several operations (determinization, intersection, emptiness check,...) on different kinds of automata (finite automata, Büchi automata, nested word automata). Develop a user interface for this library. Elaborate a file format for the input and output of this tool and implement a parser for this file format.
- User Interface for Automata Library
- We have a tool that can perform several operations (determinization, intersection, emptiness check,...) on different kinds of automata (finite automata, Büchi automata, nested word automata). Develop a user interface for this library. Elaborate a file format for the input and output of this tool and implement a parser for this file format.
- infinitelyManyA.png
