\relax 
\ifx\hyper@anchor\@undefined
\global \let \oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global \let \oldnewlabel\newlabel
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\let \contentsline\oldcontentsline
\let \newlabel\oldnewlabel}
\else
\global \let \hyper@last\relax 
\fi

\@writefile{toc}{\contentsline {chapter}{\numberline {1}\leavevmode {\color  {Chapter } Introduction }}{7}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{fig:aut1}{{1}{7}{\textcolor {Chapter }{ Introduction }\relax }{chapter.1}{}}
\citation{AHU:74}
\citation{AMORE:95}
\citation{KoutsofiosNorth:2002}
\@writefile{brf}{\backcite{AHU:74}{{8}{1}{chapter.1}}}
\@writefile{brf}{\backcite{AMORE:95}{{8}{1}{chapter.1}}}
\@writefile{brf}{\backcite{KoutsofiosNorth:2002}{{8}{1}{chapter.1}}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}\leavevmode {\color  {Chapter }Finite Automata}}{9}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}\leavevmode {\color  {Chapter }Automata generation}}{9}{section.2.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.1}\leavevmode {\color  {Chapter }Automaton}}{9}{subsection.2.1.1}}
\newlabel{Automaton}{{2.1.1}{9}{\textcolor {Chapter }{Automaton}\relax }{subsection.2.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.2}\leavevmode {\color  {Chapter }IsAutomaton}}{11}{subsection.2.1.2}}
\newlabel{IsAutomaton}{{2.1.2}{11}{\textcolor {Chapter }{IsAutomaton}\relax }{subsection.2.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.3}\leavevmode {\color  {Chapter }IsDeterministicAutomaton}}{11}{subsection.2.1.3}}
\newlabel{IsDeterministicAutomaton}{{2.1.3}{11}{\textcolor {Chapter }{IsDeterministicAutomaton}\relax }{subsection.2.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.4}\leavevmode {\color  {Chapter }IsNonDeterministicAutomaton}}{11}{subsection.2.1.4}}
\newlabel{IsNonDeterministicAutomaton}{{2.1.4}{11}{\textcolor {Chapter }{IsNonDeterministicAutomaton}\relax }{subsection.2.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.5}\leavevmode {\color  {Chapter }IsEpsilonAutomaton}}{11}{subsection.2.1.5}}
\newlabel{IsEpsilonAutomaton}{{2.1.5}{11}{\textcolor {Chapter }{IsEpsilonAutomaton}\relax }{subsection.2.1.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.6}\leavevmode {\color  {Chapter }String}}{12}{subsection.2.1.6}}
\newlabel{String}{{2.1.6}{12}{\textcolor {Chapter }{String}\relax }{subsection.2.1.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.7}\leavevmode {\color  {Chapter }RandomAutomaton}}{12}{subsection.2.1.7}}
\newlabel{RandomAutomaton}{{2.1.7}{12}{\textcolor {Chapter }{RandomAutomaton}\relax }{subsection.2.1.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}\leavevmode {\color  {Chapter }Automata internals}}{13}{section.2.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.1}\leavevmode {\color  {Chapter }AlphabetOfAutomaton}}{13}{subsection.2.2.1}}
\newlabel{AlphabetOfAutomaton}{{2.2.1}{13}{\textcolor {Chapter }{AlphabetOfAutomaton}\relax }{subsection.2.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.2}\leavevmode {\color  {Chapter }AlphabetOfAutomatonAsList}}{13}{subsection.2.2.2}}
\newlabel{AlphabetOfAutomatonAsList}{{2.2.2}{13}{\textcolor {Chapter }{AlphabetOfAutomatonAsList}\relax }{subsection.2.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.3}\leavevmode {\color  {Chapter }TransitionMatrixOfAutomaton}}{14}{subsection.2.2.3}}
\newlabel{TransitionMatrixOfAutomaton}{{2.2.3}{14}{\textcolor {Chapter }{TransitionMatrixOfAutomaton}\relax }{subsection.2.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.4}\leavevmode {\color  {Chapter }InitialStatesOfAutomaton}}{14}{subsection.2.2.4}}
\newlabel{InitialStatesOfAutomaton}{{2.2.4}{14}{\textcolor {Chapter }{InitialStatesOfAutomaton}\relax }{subsection.2.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.5}\leavevmode {\color  {Chapter }SetInitialStatesOfAutomaton}}{14}{subsection.2.2.5}}
\newlabel{SetInitialStatesOfAutomaton}{{2.2.5}{14}{\textcolor {Chapter }{SetInitialStatesOfAutomaton}\relax }{subsection.2.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.6}\leavevmode {\color  {Chapter }FinalStatesOfAutomaton}}{14}{subsection.2.2.6}}
\newlabel{FinalStatesOfAutomaton}{{2.2.6}{14}{\textcolor {Chapter }{FinalStatesOfAutomaton}\relax }{subsection.2.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.7}\leavevmode {\color  {Chapter }SetFinalStatesOfAutomaton}}{15}{subsection.2.2.7}}
\newlabel{SetFinalStatesOfAutomaton}{{2.2.7}{15}{\textcolor {Chapter }{SetFinalStatesOfAutomaton}\relax }{subsection.2.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.8}\leavevmode {\color  {Chapter }NumberStatesOfAutomaton}}{15}{subsection.2.2.8}}
\newlabel{NumberStatesOfAutomaton}{{2.2.8}{15}{\textcolor {Chapter }{NumberStatesOfAutomaton}\relax }{subsection.2.2.8}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}\leavevmode {\color  {Chapter }Comparison of automata}}{15}{section.2.3}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}\leavevmode {\color  {Chapter }Tests involving automata}}{15}{section.2.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.1}\leavevmode {\color  {Chapter }IsDenseAutomaton}}{15}{subsection.2.4.1}}
\newlabel{IsDenseAutomaton}{{2.4.1}{15}{\textcolor {Chapter }{IsDenseAutomaton}\relax }{subsection.2.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.2}\leavevmode {\color  {Chapter }IsRecognizedByAutomaton}}{16}{subsection.2.4.2}}
\newlabel{IsRecognizedByAutomaton}{{2.4.2}{16}{\textcolor {Chapter }{IsRecognizedByAutomaton}\relax }{subsection.2.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.3}\leavevmode {\color  {Chapter }IsPermutationAutomaton}}{16}{subsection.2.4.3}}
\newlabel{IsPermutationAutomaton}{{2.4.3}{16}{\textcolor {Chapter }{IsPermutationAutomaton}\relax }{subsection.2.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.4}\leavevmode {\color  {Chapter }IsInverseAutomaton}}{16}{subsection.2.4.4}}
\newlabel{IsInverseAutomaton}{{2.4.4}{16}{\textcolor {Chapter }{IsInverseAutomaton}\relax }{subsection.2.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.5}\leavevmode {\color  {Chapter }AddInverseEdgesToInverseAutomaton}}{16}{subsection.2.4.5}}
\newlabel{AddInverseEdgesToInverseAutomaton}{{2.4.5}{16}{\textcolor {Chapter }{AddInverseEdgesToInverseAutomaton}\relax }{subsection.2.4.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.6}\leavevmode {\color  {Chapter }IsReversibleAutomaton}}{17}{subsection.2.4.6}}
\newlabel{IsReversibleAutomaton}{{2.4.6}{17}{\textcolor {Chapter }{IsReversibleAutomaton}\relax }{subsection.2.4.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}\leavevmode {\color  {Chapter }Basic operations}}{17}{section.2.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.1}\leavevmode {\color  {Chapter }CopyAutomaton}}{17}{subsection.2.5.1}}
\newlabel{CopyAutomaton}{{2.5.1}{17}{\textcolor {Chapter }{CopyAutomaton}\relax }{subsection.2.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.2}\leavevmode {\color  {Chapter }NullCompletionAutomaton}}{17}{subsection.2.5.2}}
\newlabel{NullCompletionAutomaton}{{2.5.2}{17}{\textcolor {Chapter }{NullCompletionAutomaton}\relax }{subsection.2.5.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.3}\leavevmode {\color  {Chapter }ListSinkStatesAut}}{18}{subsection.2.5.3}}
\newlabel{ListSinkStatesAut}{{2.5.3}{18}{\textcolor {Chapter }{ListSinkStatesAut}\relax }{subsection.2.5.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.4}\leavevmode {\color  {Chapter }RemovedSinkStates}}{18}{subsection.2.5.4}}
\newlabel{RemovedSinkStates}{{2.5.4}{18}{\textcolor {Chapter }{RemovedSinkStates}\relax }{subsection.2.5.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.5}\leavevmode {\color  {Chapter }ReversedAutomaton}}{18}{subsection.2.5.5}}
\newlabel{ReversedAutomaton}{{2.5.5}{18}{\textcolor {Chapter }{ReversedAutomaton}\relax }{subsection.2.5.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.6}\leavevmode {\color  {Chapter }PermutedAutomaton}}{19}{subsection.2.5.6}}
\newlabel{PermutedAutomaton}{{2.5.6}{19}{\textcolor {Chapter }{PermutedAutomaton}\relax }{subsection.2.5.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.7}\leavevmode {\color  {Chapter }ListPermutedAutomata}}{19}{subsection.2.5.7}}
\newlabel{ListPermutedAutomata}{{2.5.7}{19}{\textcolor {Chapter }{ListPermutedAutomata}\relax }{subsection.2.5.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.8}\leavevmode {\color  {Chapter }NormalizedAutomaton}}{19}{subsection.2.5.8}}
\newlabel{NormalizedAutomaton}{{2.5.8}{19}{\textcolor {Chapter }{NormalizedAutomaton}\relax }{subsection.2.5.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.9}\leavevmode {\color  {Chapter }UnionAutomata}}{20}{subsection.2.5.9}}
\newlabel{UnionAutomata}{{2.5.9}{20}{\textcolor {Chapter }{UnionAutomata}\relax }{subsection.2.5.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.10}\leavevmode {\color  {Chapter }ProductAutomaton}}{20}{subsection.2.5.10}}
\newlabel{ProductAutomaton}{{2.5.10}{20}{\textcolor {Chapter }{ProductAutomaton}\relax }{subsection.2.5.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.11}\leavevmode {\color  {Chapter }ProductOfLanguages}}{21}{subsection.2.5.11}}
\newlabel{ProductOfLanguages}{{2.5.11}{21}{\textcolor {Chapter }{ProductOfLanguages}\relax }{subsection.2.5.11}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.6}\leavevmode {\color  {Chapter }Links with Semigroups}}{21}{section.2.6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6.1}\leavevmode {\color  {Chapter }TransitionSemigroup}}{21}{subsection.2.6.1}}
\newlabel{TransitionSemigroup}{{2.6.1}{21}{\textcolor {Chapter }{TransitionSemigroup}\relax }{subsection.2.6.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6.2}\leavevmode {\color  {Chapter }SyntacticSemigroupAut}}{22}{subsection.2.6.2}}
\newlabel{SyntacticSemigroupAut}{{2.6.2}{22}{\textcolor {Chapter }{SyntacticSemigroupAut}\relax }{subsection.2.6.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6.3}\leavevmode {\color  {Chapter }SyntacticSemigroupLang}}{22}{subsection.2.6.3}}
\newlabel{SyntacticSemigroupLang}{{2.6.3}{22}{\textcolor {Chapter }{SyntacticSemigroupLang}\relax }{subsection.2.6.3}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}\leavevmode {\color  {Chapter }Rational languages}}{23}{chapter.3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}\leavevmode {\color  {Chapter }Rational Expressions}}{23}{section.3.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}\leavevmode {\color  {Chapter }RationalExpression}}{23}{subsection.3.1.1}}
\newlabel{RationalExpression}{{3.1.1}{23}{\textcolor {Chapter }{RationalExpression}\relax }{subsection.3.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}\leavevmode {\color  {Chapter }RatExpOnnLetters}}{23}{subsection.3.1.2}}
\newlabel{RatExpOnnLetters}{{3.1.2}{23}{\textcolor {Chapter }{RatExpOnnLetters}\relax }{subsection.3.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}\leavevmode {\color  {Chapter }RandomRatExp}}{24}{subsection.3.1.3}}
\newlabel{RandomRatExp}{{3.1.3}{24}{\textcolor {Chapter }{RandomRatExp}\relax }{subsection.3.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.4}\leavevmode {\color  {Chapter }SizeRatExp}}{24}{subsection.3.1.4}}
\newlabel{SizeRatExp}{{3.1.4}{24}{\textcolor {Chapter }{SizeRatExp}\relax }{subsection.3.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.5}\leavevmode {\color  {Chapter }IsRationalExpression}}{24}{subsection.3.1.5}}
\newlabel{IsRationalExpression}{{3.1.5}{24}{\textcolor {Chapter }{IsRationalExpression}\relax }{subsection.3.1.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.6}\leavevmode {\color  {Chapter }AlphabetOfRatExp}}{25}{subsection.3.1.6}}
\newlabel{AlphabetOfRatExp}{{3.1.6}{25}{\textcolor {Chapter }{AlphabetOfRatExp}\relax }{subsection.3.1.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.7}\leavevmode {\color  {Chapter }AlphabetOfRatExpAsList}}{25}{subsection.3.1.7}}
\newlabel{AlphabetOfRatExpAsList}{{3.1.7}{25}{\textcolor {Chapter }{AlphabetOfRatExpAsList}\relax }{subsection.3.1.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.8}\leavevmode {\color  {Chapter }CopyRatExp}}{26}{subsection.3.1.8}}
\newlabel{CopyRatExp}{{3.1.8}{26}{\textcolor {Chapter }{CopyRatExp}\relax }{subsection.3.1.8}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}\leavevmode {\color  {Chapter }Comparison of rational expressions}}{26}{section.3.2}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}\leavevmode {\color  {Chapter }Operations with rational languages}}{26}{section.3.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}\leavevmode {\color  {Chapter }UnionRatExp}}{26}{subsection.3.3.1}}
\newlabel{UnionRatExp}{{3.3.1}{26}{\textcolor {Chapter }{UnionRatExp}\relax }{subsection.3.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}\leavevmode {\color  {Chapter }ProductRatExp}}{26}{subsection.3.3.2}}
\newlabel{ProductRatExp}{{3.3.2}{26}{\textcolor {Chapter }{ProductRatExp}\relax }{subsection.3.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.3}\leavevmode {\color  {Chapter } StarRatExp}}{26}{subsection.3.3.3}}
\newlabel{ StarRatExp}{{3.3.3}{26}{\textcolor {Chapter }{ StarRatExp}\relax }{subsection.3.3.3}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}\leavevmode {\color  {Chapter }Automata \emph  {versus} rational expressions}}{28}{chapter.4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}\leavevmode {\color  {Chapter }From automata to rational expressions}}{28}{section.4.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}\leavevmode {\color  {Chapter }AutomatonToRatExp }}{28}{subsection.4.1.1}}
\newlabel{AutomatonToRatExp }{{4.1.1}{28}{\textcolor {Chapter }{AutomatonToRatExp }\relax }{subsection.4.1.1}{}}
\newlabel{AutToRatExp}{{4.1.1}{28}{\textcolor {Chapter }{AutomatonToRatExp }\relax }{subsection.4.1.1}{}}
\newlabel{FAtoRatExp}{{4.1.1}{28}{\textcolor {Chapter }{AutomatonToRatExp }\relax }{subsection.4.1.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}\leavevmode {\color  {Chapter }From rational expression to automata}}{28}{section.4.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}\leavevmode {\color  {Chapter }RatExpToNDAut}}{28}{subsection.4.2.1}}
\newlabel{RatExpToNDAut}{{4.2.1}{28}{\textcolor {Chapter }{RatExpToNDAut}\relax }{subsection.4.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.2}\leavevmode {\color  {Chapter }RatExpToAutomaton}}{29}{subsection.4.2.2}}
\newlabel{RatExpToAutomaton}{{4.2.2}{29}{\textcolor {Chapter }{RatExpToAutomaton}\relax }{subsection.4.2.2}{}}
\newlabel{RatExpToAut}{{4.2.2}{29}{\textcolor {Chapter }{RatExpToAutomaton}\relax }{subsection.4.2.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}\leavevmode {\color  {Chapter } Some tests on automata }}{29}{section.4.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.1}\leavevmode {\color  {Chapter }IsEmptyLang}}{29}{subsection.4.3.1}}
\newlabel{IsEmptyLang}{{4.3.1}{29}{\textcolor {Chapter }{IsEmptyLang}\relax }{subsection.4.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.2}\leavevmode {\color  {Chapter }IsFullLang}}{29}{subsection.4.3.2}}
\newlabel{IsFullLang}{{4.3.2}{29}{\textcolor {Chapter }{IsFullLang}\relax }{subsection.4.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.3}\leavevmode {\color  {Chapter }AreEqualLang}}{30}{subsection.4.3.3}}
\newlabel{AreEqualLang}{{4.3.3}{30}{\textcolor {Chapter }{AreEqualLang}\relax }{subsection.4.3.3}{}}
\newlabel{AreEquivAut}{{4.3.3}{30}{\textcolor {Chapter }{AreEqualLang}\relax }{subsection.4.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.4}\leavevmode {\color  {Chapter }IsContainedLang}}{30}{subsection.4.3.4}}
\newlabel{IsContainedLang}{{4.3.4}{30}{\textcolor {Chapter }{IsContainedLang}\relax }{subsection.4.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.5}\leavevmode {\color  {Chapter }AreDisjointLang}}{31}{subsection.4.3.5}}
\newlabel{AreDisjointLang}{{4.3.5}{31}{\textcolor {Chapter }{AreDisjointLang}\relax }{subsection.4.3.5}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}\leavevmode {\color  {Chapter }Some functions involving automata}}{32}{chapter.5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}\leavevmode {\color  {Chapter }From one type to another}}{32}{section.5.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}\leavevmode {\color  {Chapter }EpsilonToNFA}}{32}{subsection.5.1.1}}
\newlabel{EpsilonToNFA}{{5.1.1}{32}{\textcolor {Chapter }{EpsilonToNFA}\relax }{subsection.5.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}\leavevmode {\color  {Chapter }EpsilonToNFASet}}{32}{subsection.5.1.2}}
\newlabel{EpsilonToNFASet}{{5.1.2}{32}{\textcolor {Chapter }{EpsilonToNFASet}\relax }{subsection.5.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}\leavevmode {\color  {Chapter }EpsilonCompactedAut}}{33}{subsection.5.1.3}}
\newlabel{EpsilonCompactedAut}{{5.1.3}{33}{\textcolor {Chapter }{EpsilonCompactedAut}\relax }{subsection.5.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.4}\leavevmode {\color  {Chapter }ReducedNFA}}{33}{subsection.5.1.4}}
\newlabel{ReducedNFA}{{5.1.4}{33}{\textcolor {Chapter }{ReducedNFA}\relax }{subsection.5.1.4}{}}
\citation{AMORE:95}
\citation{AHU:74}
\citation{HU:69}
\citation{AMORE:95}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.5}\leavevmode {\color  {Chapter }NFAtoDFA}}{34}{subsection.5.1.5}}
\newlabel{NFAtoDFA}{{5.1.5}{34}{\textcolor {Chapter }{NFAtoDFA}\relax }{subsection.5.1.5}{}}
\@writefile{brf}{\backcite{AMORE:95}{{34}{5.1.5}{subsection.5.1.5}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.6}\leavevmode {\color  {Chapter }FuseSymbolsAut}}{34}{subsection.5.1.6}}
\newlabel{FuseSymbolsAut}{{5.1.6}{34}{\textcolor {Chapter }{FuseSymbolsAut}\relax }{subsection.5.1.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}\leavevmode {\color  {Chapter }Minimalization of an automaton}}{34}{section.5.2}}
\@writefile{brf}{\backcite{AHU:74}{{34}{5.2}{section.5.2}}}
\@writefile{brf}{\backcite{HU:69}{{34}{5.2}{section.5.2}}}
\@writefile{brf}{\backcite{AMORE:95}{{34}{5.2}{section.5.2}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}\leavevmode {\color  {Chapter }UsefulAutomaton}}{35}{subsection.5.2.1}}
\newlabel{UsefulAutomaton}{{5.2.1}{35}{\textcolor {Chapter }{UsefulAutomaton}\relax }{subsection.5.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}\leavevmode {\color  {Chapter }MinimalizedAut}}{35}{subsection.5.2.2}}
\newlabel{MinimalizedAut}{{5.2.2}{35}{\textcolor {Chapter }{MinimalizedAut}\relax }{subsection.5.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}\leavevmode {\color  {Chapter } MinimalAutomaton}}{35}{subsection.5.2.3}}
\newlabel{ MinimalAutomaton}{{5.2.3}{35}{\textcolor {Chapter }{ MinimalAutomaton}\relax }{subsection.5.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.4}\leavevmode {\color  {Chapter }AccessibleStates}}{36}{subsection.5.2.4}}
\newlabel{AccessibleStates}{{5.2.4}{36}{\textcolor {Chapter }{AccessibleStates}\relax }{subsection.5.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.5}\leavevmode {\color  {Chapter }AccessibleAutomaton}}{36}{subsection.5.2.5}}
\newlabel{AccessibleAutomaton}{{5.2.5}{36}{\textcolor {Chapter }{AccessibleAutomaton}\relax }{subsection.5.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.6}\leavevmode {\color  {Chapter }IntersectionLanguage}}{37}{subsection.5.2.6}}
\newlabel{IntersectionLanguage}{{5.2.6}{37}{\textcolor {Chapter }{IntersectionLanguage}\relax }{subsection.5.2.6}{}}
\newlabel{IntersectionAutomaton}{{5.2.6}{37}{\textcolor {Chapter }{IntersectionLanguage}\relax }{subsection.5.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.7}\leavevmode {\color  {Chapter }AutomatonAllPairsPaths}}{37}{subsection.5.2.7}}
\newlabel{AutomatonAllPairsPaths}{{5.2.7}{37}{\textcolor {Chapter }{AutomatonAllPairsPaths}\relax }{subsection.5.2.7}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}\leavevmode {\color  {Chapter }Finite regular languages}}{39}{chapter.6}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {6.1}\leavevmode {\color  {Chapter }Dealing with finite regular languages}}{39}{section.6.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}\leavevmode {\color  {Chapter }IsFiniteRegularLanguage}}{39}{subsection.6.1.1}}
\newlabel{IsFiniteRegularLanguage}{{6.1.1}{39}{\textcolor {Chapter }{IsFiniteRegularLanguage}\relax }{subsection.6.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}\leavevmode {\color  {Chapter }FiniteRegularLanguageToListOfWords}}{39}{subsection.6.1.2}}
\newlabel{FiniteRegularLanguageToListOfWords}{{6.1.2}{39}{\textcolor {Chapter }{FiniteRegularLanguageToListOfWords}\relax }{subsection.6.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}\leavevmode {\color  {Chapter }ListOfWordsToAutomaton}}{39}{subsection.6.1.3}}
\newlabel{ListOfWordsToAutomaton}{{6.1.3}{39}{\textcolor {Chapter }{ListOfWordsToAutomaton}\relax }{subsection.6.1.3}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {A}\leavevmode {\color  {Chapter }Directed graphs}}{41}{appendix.A}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {A.1}\leavevmode {\color  {Chapter }Directed graphs}}{41}{section.A.1}}
\newlabel{fig:graph}{{A.1}{41}{\textcolor {Chapter }{Directed graphs}\relax }{section.A.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.1}\leavevmode {\color  {Chapter }RandomDiGraph}}{42}{subsection.A.1.1}}
\newlabel{RandomDiGraph}{{A.1.1}{42}{\textcolor {Chapter }{RandomDiGraph}\relax }{subsection.A.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.2}\leavevmode {\color  {Chapter }VertexInDegree}}{42}{subsection.A.1.2}}
\newlabel{VertexInDegree}{{A.1.2}{42}{\textcolor {Chapter }{VertexInDegree}\relax }{subsection.A.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.3}\leavevmode {\color  {Chapter }VertexOutDegree}}{42}{subsection.A.1.3}}
\newlabel{VertexOutDegree}{{A.1.3}{42}{\textcolor {Chapter }{VertexOutDegree}\relax }{subsection.A.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.4}\leavevmode {\color  {Chapter }AutoVertexDegree}}{42}{subsection.A.1.4}}
\newlabel{AutoVertexDegree}{{A.1.4}{42}{\textcolor {Chapter }{AutoVertexDegree}\relax }{subsection.A.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.5}\leavevmode {\color  {Chapter }ReversedGraph}}{42}{subsection.A.1.5}}
\newlabel{ReversedGraph}{{A.1.5}{42}{\textcolor {Chapter }{ReversedGraph}\relax }{subsection.A.1.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.6}\leavevmode {\color  {Chapter }AutoConnectedComponents}}{43}{subsection.A.1.6}}
\newlabel{AutoConnectedComponents}{{A.1.6}{43}{\textcolor {Chapter }{AutoConnectedComponents}\relax }{subsection.A.1.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.7}\leavevmode {\color  {Chapter }GraphStronglyConnectedComponents}}{43}{subsection.A.1.7}}
\newlabel{GraphStronglyConnectedComponents}{{A.1.7}{43}{\textcolor {Chapter }{GraphStronglyConnectedComponents}\relax }{subsection.A.1.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.8}\leavevmode {\color  {Chapter }UnderlyingMultiGraphOfAutomaton}}{43}{subsection.A.1.8}}
\newlabel{UnderlyingMultiGraphOfAutomaton}{{A.1.8}{43}{\textcolor {Chapter }{UnderlyingMultiGraphOfAutomaton}\relax }{subsection.A.1.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.9}\leavevmode {\color  {Chapter }UnderlyingGraphOfAutomaton}}{44}{subsection.A.1.9}}
\newlabel{UnderlyingGraphOfAutomaton}{{A.1.9}{44}{\textcolor {Chapter }{UnderlyingGraphOfAutomaton}\relax }{subsection.A.1.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.10}\leavevmode {\color  {Chapter }DiGraphToRelation}}{44}{subsection.A.1.10}}
\newlabel{DiGraphToRelation}{{A.1.10}{44}{\textcolor {Chapter }{DiGraphToRelation}\relax }{subsection.A.1.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.11}\leavevmode {\color  {Chapter }MSccAutomaton}}{44}{subsection.A.1.11}}
\newlabel{MSccAutomaton}{{A.1.11}{44}{\textcolor {Chapter }{MSccAutomaton}\relax }{subsection.A.1.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.12}\leavevmode {\color  {Chapter }AutoIsAcyclicGraph}}{45}{subsection.A.1.12}}
\newlabel{AutoIsAcyclicGraph}{{A.1.12}{45}{\textcolor {Chapter }{AutoIsAcyclicGraph}\relax }{subsection.A.1.12}{}}
\citation{KoutsofiosNorth:2002}
\@writefile{toc}{\contentsline {chapter}{\numberline {B}\leavevmode {\color  {Chapter } Drawing automata }}{46}{appendix.B}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{brf}{\backcite{KoutsofiosNorth:2002}{{46}{B}{appendix.B}}}
\@writefile{toc}{\contentsline {section}{\numberline {B.1}\leavevmode {\color  {Chapter } Installing some external programs }}{46}{section.B.1}}
\@writefile{toc}{\contentsline {section}{\numberline {B.2}\leavevmode {\color  {Chapter } Functions to draw automata }}{46}{section.B.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.2.1}\leavevmode {\color  {Chapter }DrawAutomaton}}{46}{subsection.B.2.1}}
\newlabel{DrawAutomaton}{{B.2.1}{46}{\textcolor {Chapter }{DrawAutomaton}\relax }{subsection.B.2.1}{}}
\newlabel{fig:aut2}{{B.2.1}{47}{\textcolor {Chapter }{DrawAutomaton}\relax }{subsection.B.2.1}{}}
\newlabel{fig:aut2_1}{{B.2.1}{47}{\textcolor {Chapter }{DrawAutomaton}\relax }{subsection.B.2.1}{}}
\newlabel{fig:aut2_2}{{B.2.1}{48}{\textcolor {Chapter }{DrawAutomaton}\relax }{subsection.B.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.2.2}\leavevmode {\color  {Chapter }DrawAutomata}}{48}{subsection.B.2.2}}
\newlabel{DrawAutomata}{{B.2.2}{48}{\textcolor {Chapter }{DrawAutomata}\relax }{subsection.B.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.2.3}\leavevmode {\color  {Chapter }DrawGraph}}{48}{subsection.B.2.3}}
\newlabel{DrawGraph}{{B.2.3}{48}{\textcolor {Chapter }{DrawGraph}\relax }{subsection.B.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.2.4}\leavevmode {\color  {Chapter }DrawSCCAutomaton}}{48}{subsection.B.2.4}}
\newlabel{DrawSCCAutomaton}{{B.2.4}{48}{\textcolor {Chapter }{DrawSCCAutomaton}\relax }{subsection.B.2.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {B.3}\leavevmode {\color  {Chapter }Drawings output formats}}{49}{section.B.3}}
\@writefile{toc}{\contentsline {section}{\numberline {B.4}\leavevmode {\color  {Chapter }Drawings extra graph attributes}}{49}{section.B.4}}
\citation{MSW:2001}
\citation{KM:2002}
\@writefile{toc}{\contentsline {chapter}{\numberline {C}\leavevmode {\color  {Chapter }Inverse automata and subgroups of the free group}}{50}{appendix.C}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{brf}{\backcite{MSW:2001}{{50}{C}{appendix.C}}}
\@writefile{brf}{\backcite{KM:2002}{{50}{C}{appendix.C}}}
\@writefile{toc}{\contentsline {section}{\numberline {C.1}\leavevmode {\color  {Chapter }From subgroups to inverse automata}}{50}{section.C.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.1.1}\leavevmode {\color  {Chapter }GeneratorsToListRepresentation}}{50}{subsection.C.1.1}}
\newlabel{GeneratorsToListRepresentation}{{C.1.1}{50}{\textcolor {Chapter }{GeneratorsToListRepresentation}\relax }{subsection.C.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.1.2}\leavevmode {\color  {Chapter }ListToGeneratorsRepresentation}}{50}{subsection.C.1.2}}
\newlabel{ListToGeneratorsRepresentation}{{C.1.2}{50}{\textcolor {Chapter }{ListToGeneratorsRepresentation}\relax }{subsection.C.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.1.3}\leavevmode {\color  {Chapter }FlowerAutomaton}}{51}{subsection.C.1.3}}
\newlabel{FlowerAutomaton}{{C.1.3}{51}{\textcolor {Chapter }{FlowerAutomaton}\relax }{subsection.C.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.1.4}\leavevmode {\color  {Chapter }FoldFlowerAutomaton}}{51}{subsection.C.1.4}}
\newlabel{FoldFlowerAutomaton}{{C.1.4}{51}{\textcolor {Chapter }{FoldFlowerAutomaton}\relax }{subsection.C.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.1.5}\leavevmode {\color  {Chapter }SubgroupGenToInvAut}}{51}{subsection.C.1.5}}
\newlabel{SubgroupGenToInvAut}{{C.1.5}{51}{\textcolor {Chapter }{SubgroupGenToInvAut}\relax }{subsection.C.1.5}{}}
\citation{KM:2002}
\bibstyle{alpha}
\bibdata{AutMan}
\@writefile{toc}{\contentsline {section}{\numberline {C.2}\leavevmode {\color  {Chapter }From inverse automata to subgroups}}{52}{section.C.2}}
\@writefile{brf}{\backcite{KM:2002}{{52}{C.2}{section.C.2}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.2.1}\leavevmode {\color  {Chapter }GeodesicTreeOfInverseAutomaton}}{52}{subsection.C.2.1}}
\newlabel{GeodesicTreeOfInverseAutomaton}{{C.2.1}{52}{\textcolor {Chapter }{GeodesicTreeOfInverseAutomaton}\relax }{subsection.C.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.2.2}\leavevmode {\color  {Chapter }InverseAutomatonToGenerators}}{52}{subsection.C.2.2}}
\newlabel{InverseAutomatonToGenerators}{{C.2.2}{52}{\textcolor {Chapter }{InverseAutomatonToGenerators}\relax }{subsection.C.2.2}{}}
\bibcite{AHU:74}{AHU74}
\bibcite{KoutsofiosNorth:2002}{DEG{$^{+}$}02}
\bibcite{HU:69}{HU69}
\bibcite{KM:2002}{KM02}
\bibcite{AMORE:95}{MMP{$^{+}$}95}
\bibcite{MSW:2001}{MSW01}
