Translations:

This is a simple automata simulation library inspired by automata-lib and automata.

You can easily build the DFA, NDFA and NPDA automata giving as parameter to the respective constructors the following:

• the input alphabet
• the states
• the initial state
• final states
• the transitions (a dict)

For examples, see examples

Examples

• Building a Deterministic Finite Automaton
• Building a Non-deterministic Finite Automaton