Charles Paperman
Mail: charles.paperman<arobase>liafa<dot>univ-paris-diderot<dot>fr
Phone: + 33 6 24 34 08 79

Sage automata code

Release of my own sage package ! It is a beta version. Graphviz should be installed on the system, as well as dot2tex in sage (commandline: sage -i dot2tex). Download here the package. To install simply type sage -i cpaut.spkg. To use in sage command line: from cpaut import *
Most of commands are documented with some examples.

Small example

Once the package installed, try the following code:

sage: from cpaut import *
sage: L = simplify_regex("c*(ac*bc*)*")
sage: A = L.automaton_minimal_deterministic()
sage: A.view()

You should get the following image as result:


If you try the following code:

sage: S = L.syntactic_monoid()
sage: S.view()

You should get the following image as result: