\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

\citation{KoutsofiosNorth:2002}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}\leavevmode {\color  {Chapter } Introduction }}{5}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{brf}{\backcite{KoutsofiosNorth:2002}{{5}{1}{chapter.1}}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}\leavevmode {\color  {Chapter }Basics}}{6}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}\leavevmode {\color  {Chapter }Examples }}{6}{section.2.1}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}\leavevmode {\color  {Chapter }Some attributes}}{7}{section.2.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.1}\leavevmode {\color  {Chapter }HasCommutingIdempotents}}{7}{subsection.2.2.1}}
\newlabel{HasCommutingIdempotents}{{2.2.1}{7}{\textcolor {Chapter }{HasCommutingIdempotents}\relax }{subsection.2.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.2}\leavevmode {\color  {Chapter }IsInverseSemigroup}}{7}{subsection.2.2.2}}
\newlabel{IsInverseSemigroup}{{2.2.2}{7}{\textcolor {Chapter }{IsInverseSemigroup}\relax }{subsection.2.2.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}\leavevmode {\color  {Chapter }Some basic functions}}{7}{section.2.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.1}\leavevmode {\color  {Chapter }PartialTransformation}}{7}{subsection.2.3.1}}
\newlabel{PartialTransformation}{{2.3.1}{7}{\textcolor {Chapter }{PartialTransformation}\relax }{subsection.2.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.2}\leavevmode {\color  {Chapter }ReduceNumberOfGenerators}}{7}{subsection.2.3.2}}
\newlabel{ReduceNumberOfGenerators}{{2.3.2}{7}{\textcolor {Chapter }{ReduceNumberOfGenerators}\relax }{subsection.2.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.3}\leavevmode {\color  {Chapter }SemigroupFactorization}}{8}{subsection.2.3.3}}
\newlabel{SemigroupFactorization}{{2.3.3}{8}{\textcolor {Chapter }{SemigroupFactorization}\relax }{subsection.2.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.4}\leavevmode {\color  {Chapter }GrahamBlocks}}{8}{subsection.2.3.4}}
\newlabel{GrahamBlocks}{{2.3.4}{8}{\textcolor {Chapter }{GrahamBlocks}\relax }{subsection.2.3.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}\leavevmode {\color  {Chapter }Cayley graphs}}{9}{section.2.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.1}\leavevmode {\color  {Chapter }RightCayleyGraphAsAutomaton}}{9}{subsection.2.4.1}}
\newlabel{RightCayleyGraphAsAutomaton}{{2.4.1}{9}{\textcolor {Chapter }{RightCayleyGraphAsAutomaton}\relax }{subsection.2.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.2}\leavevmode {\color  {Chapter }RightCayleyGraphMonoidAsAutomaton}}{9}{subsection.2.4.2}}
\newlabel{RightCayleyGraphMonoidAsAutomaton}{{2.4.2}{9}{\textcolor {Chapter }{RightCayleyGraphMonoidAsAutomaton}\relax }{subsection.2.4.2}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}\leavevmode {\color  {Chapter } Drawings of semigroups }}{10}{chapter.3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}\leavevmode {\color  {Chapter } Drawing the D-class of an element of a semigroup }}{10}{section.3.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}\leavevmode {\color  {Chapter }DrawDClassOfElement}}{10}{subsection.3.1.1}}
\newlabel{DrawDClassOfElement}{{3.1.1}{10}{\textcolor {Chapter }{DrawDClassOfElement}\relax }{subsection.3.1.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}\leavevmode {\color  {Chapter } Drawing the D-classes of a semigroup }}{11}{section.3.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}\leavevmode {\color  {Chapter }DrawDClasses}}{11}{subsection.3.2.1}}
\newlabel{DrawDClasses}{{3.2.1}{11}{\textcolor {Chapter }{DrawDClasses}\relax }{subsection.3.2.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}\leavevmode {\color  {Chapter }Cayley graphs}}{11}{section.3.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}\leavevmode {\color  {Chapter }DrawRightCayleyGraph}}{11}{subsection.3.3.1}}
\newlabel{DrawRightCayleyGraph}{{3.3.1}{11}{\textcolor {Chapter }{DrawRightCayleyGraph}\relax }{subsection.3.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}\leavevmode {\color  {Chapter }DrawCayleyGraph}}{11}{subsection.3.3.2}}
\newlabel{DrawCayleyGraph}{{3.3.2}{11}{\textcolor {Chapter }{DrawCayleyGraph}\relax }{subsection.3.3.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}\leavevmode {\color  {Chapter }Schutzenberger graphs}}{11}{section.3.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.1}\leavevmode {\color  {Chapter }DrawSchutzenbergerGraphs}}{11}{subsection.3.4.1}}
\newlabel{DrawSchutzenbergerGraphs}{{3.4.1}{11}{\textcolor {Chapter }{DrawSchutzenbergerGraphs}\relax }{subsection.3.4.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.5}\leavevmode {\color  {Chapter }Drawings output formats}}{12}{section.3.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}\leavevmode {\color  {Chapter }DrawingsListOfExtraFormats}}{12}{subsection.3.5.1}}
\newlabel{DrawingsListOfExtraFormats}{{3.5.1}{12}{\textcolor {Chapter }{DrawingsListOfExtraFormats}\relax }{subsection.3.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}\leavevmode {\color  {Chapter }DrawingsExtraFormat}}{12}{subsection.3.5.2}}
\newlabel{DrawingsExtraFormat}{{3.5.2}{12}{\textcolor {Chapter }{DrawingsExtraFormat}\relax }{subsection.3.5.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}\leavevmode {\color  {Chapter }SetDrawingsExtraFormat}}{12}{subsection.3.5.3}}
\newlabel{SetDrawingsExtraFormat}{{3.5.3}{12}{\textcolor {Chapter }{SetDrawingsExtraFormat}\relax }{subsection.3.5.3}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}\leavevmode {\color  {Chapter }User friendly ways to give semigroups and automata}}{13}{chapter.4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}\leavevmode {\color  {Chapter } Finite automata }}{13}{section.4.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}\leavevmode {\color  {Chapter }XAutomaton}}{13}{subsection.4.1.1}}
\newlabel{XAutomaton}{{4.1.1}{13}{\textcolor {Chapter }{XAutomaton}\relax }{subsection.4.1.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}\leavevmode {\color  {Chapter } Finite semigroups }}{14}{section.4.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}\leavevmode {\color  {Chapter }XSemigroup}}{14}{subsection.4.2.1}}
\newlabel{XSemigroup}{{4.2.1}{14}{\textcolor {Chapter }{XSemigroup}\relax }{subsection.4.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.2}\leavevmode {\color  {Chapter } Semigroups given through generators and relations }}{14}{subsection.4.2.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.3}\leavevmode {\color  {Chapter } Semigroups given by partial transformations }}{14}{subsection.4.2.3}}
\bibstyle{alpha}
\bibdata{SgpVizMan}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.4}\leavevmode {\color  {Chapter } Syntatic semigroups }}{15}{subsection.4.2.4}}
\bibcite{KoutsofiosNorth:2002}{DEG{$^{+}$}}
