Le module FSA (Finite State Automaton) permet de manipuler des automates : déterminisation, minimisation, représentation graphique, etc.
Il se récupère là.
>>> from FSA import *
>>> tp = concatenation(singleton('a'),
... union(singleton('b'),
... closure(singleton('c'))))
>>> tp.view()
>>> td=tp.minimized()
>>> td.view()
Pour de l'aide :
>>> help(FSA)