AutMan.out

\BOOKMARK [0][-]{chapter.1}{ Introduction }{}
\BOOKMARK [0][-]{chapter.2}{Finite Automata}{}
\BOOKMARK [1][-]{section.2.1}{Automata generation}{chapter.2}
\BOOKMARK [1][-]{section.2.2}{Automata internals}{chapter.2}
\BOOKMARK [1][-]{section.2.3}{Comparison of automata}{chapter.2}
\BOOKMARK [1][-]{section.2.4}{Tests involving automata}{chapter.2}
\BOOKMARK [1][-]{section.2.5}{Basic operations}{chapter.2}
\BOOKMARK [1][-]{section.2.6}{Links with Semigroups}{chapter.2}
\BOOKMARK [0][-]{chapter.3}{Rational languages}{}
\BOOKMARK [1][-]{section.3.1}{Rational Expressions}{chapter.3}
\BOOKMARK [1][-]{section.3.2}{Comparison of rational expressions}{chapter.3}
\BOOKMARK [1][-]{section.3.3}{Operations with rational languages}{chapter.3}
\BOOKMARK [0][-]{chapter.4}{Automata versus rational expressions}{}
\BOOKMARK [1][-]{section.4.1}{From automata to rational expressions}{chapter.4}
\BOOKMARK [1][-]{section.4.2}{From rational expression to automata}{chapter.4}
\BOOKMARK [1][-]{section.4.3}{ Some tests on automata }{chapter.4}
\BOOKMARK [0][-]{chapter.5}{Some functions involving automata}{}
\BOOKMARK [1][-]{section.5.1}{From one type to another}{chapter.5}
\BOOKMARK [1][-]{section.5.2}{Minimalization of an automaton}{chapter.5}
\BOOKMARK [0][-]{chapter.6}{Finite regular languages}{}
\BOOKMARK [1][-]{section.6.1}{Dealing with finite regular languages}{chapter.6}
\BOOKMARK [0][-]{appendix.A}{Directed graphs}{}
\BOOKMARK [1][-]{section.A.1}{Directed graphs}{appendix.A}
\BOOKMARK [0][-]{appendix.B}{ Drawing automata }{}
\BOOKMARK [1][-]{section.B.1}{ Installing some external programs }{appendix.B}
\BOOKMARK [1][-]{section.B.2}{ Functions to draw automata }{appendix.B}
\BOOKMARK [1][-]{section.B.3}{Drawings output formats}{appendix.B}
\BOOKMARK [1][-]{section.B.4}{Drawings extra graph attributes}{appendix.B}
\BOOKMARK [0][-]{appendix.C}{Inverse automata and subgroups of the free group}{}
\BOOKMARK [1][-]{section.C.1}{From subgroups to inverse automata}{appendix.C}
\BOOKMARK [1][-]{section.C.2}{From inverse automata to subgroups}{appendix.C}
\BOOKMARK [0][-]{appendix*.5}{References}{}
\BOOKMARK [0][-]{section*.6}{Index}{}