Charles Paperman

Mail: charles.paperman<arobase>liafa<dot>univ-paris-diderot<dot>fr

Phone: + 33 6 24 34 08 79

Phone: + 33 6 24 34 08 79

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.

Most of commands are documented with some examples.

sage: from cpaut import *

sage: L = simplify_regex("c*(ac*bc*)*")

sage: A = L.automaton_minimal_deterministic()

sage: A.view()

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()

sage: S.view()

You should get the following image as result: