Collection of automata-related algorithms for student, including:
-
Recognizing words
- DFA
- NFA
- NFA-e
-
Conversion
- NFA-e to NFA
- NFA to DFA
-
Checking properties
- Completeness
- Universality
- Emptiness
- Inclusion
- Equality
-
Operation on two automata
- Complement
- Union
- Intersection
- Difference
- Symmetric Difference
-
Minimizing
- Hopcroft algorithm
- Moore algorithm
- Brzozowski algorithm
The aim is to visualize every step the algorithms use to reach goal.
Collaboration is welcome!