What would be the most comprehensive state machine library for Python that can perform basic manipulations such as:
- Minimization
- Determinant of nondeterministic finite state machines
- Union, intersection and product of languages ββgenerated by these automata, etc.
All the libraries that I find are either incomplete or plug-and-play-wise do not work.
source share