\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 }}{4}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{brf}{\backcite{KoutsofiosNorth:2002}{{4}{1}{chapter.1}}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}\leavevmode {\color  {Chapter }Basics}}{5}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}\leavevmode {\color  {Chapter }Examples }}{5}{section.2.1}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}\leavevmode {\color  {Chapter }Some attributes}}{6}{section.2.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.1}\leavevmode {\color  {Chapter }HasCommutingIdempotents}}{6}{subsection.2.2.1}}
\newlabel{HasCommutingIdempotents}{{2.2.1}{6}{\textcolor {Chapter }{HasCommutingIdempotents}\relax }{subsection.2.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.2}\leavevmode {\color  {Chapter }IsInverseSemigroup}}{6}{subsection.2.2.2}}
\newlabel{IsInverseSemigroup}{{2.2.2}{6}{\textcolor {Chapter }{IsInverseSemigroup}\relax }{subsection.2.2.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}\leavevmode {\color  {Chapter }Some basic functions}}{6}{section.2.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.1}\leavevmode {\color  {Chapter }PartialTransformation}}{6}{subsection.2.3.1}}
\newlabel{PartialTransformation}{{2.3.1}{6}{\textcolor {Chapter }{PartialTransformation}\relax }{subsection.2.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.2}\leavevmode {\color  {Chapter }ReduceNumberOfGenerators}}{6}{subsection.2.3.2}}
\newlabel{ReduceNumberOfGenerators}{{2.3.2}{6}{\textcolor {Chapter }{ReduceNumberOfGenerators}\relax }{subsection.2.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.3}\leavevmode {\color  {Chapter }SemigroupFactorization}}{7}{subsection.2.3.3}}
\newlabel{SemigroupFactorization}{{2.3.3}{7}{\textcolor {Chapter }{SemigroupFactorization}\relax }{subsection.2.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.4}\leavevmode {\color  {Chapter }GrahamBlocks}}{7}{subsection.2.3.4}}
\newlabel{GrahamBlocks}{{2.3.4}{7}{\textcolor {Chapter }{GrahamBlocks}\relax }{subsection.2.3.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}\leavevmode {\color  {Chapter }Cayley graphs}}{8}{section.2.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.1}\leavevmode {\color  {Chapter }RightCayleyGraphAsAutomaton}}{8}{subsection.2.4.1}}
\newlabel{RightCayleyGraphAsAutomaton}{{2.4.1}{8}{\textcolor {Chapter }{RightCayleyGraphAsAutomaton}\relax }{subsection.2.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.2}\leavevmode {\color  {Chapter }RightCayleyGraphMonoidAsAutomaton}}{8}{subsection.2.4.2}}
\newlabel{RightCayleyGraphMonoidAsAutomaton}{{2.4.2}{8}{\textcolor {Chapter }{RightCayleyGraphMonoidAsAutomaton}\relax }{subsection.2.4.2}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}\leavevmode {\color  {Chapter } Drawings of semigroups }}{9}{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 }}{9}{section.3.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}\leavevmode {\color  {Chapter }DrawDClassOfElement}}{9}{subsection.3.1.1}}
\newlabel{DrawDClassOfElement}{{3.1.1}{9}{\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 }}{9}{section.3.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}\leavevmode {\color  {Chapter }DrawDClasses}}{9}{subsection.3.2.1}}
\newlabel{DrawDClasses}{{3.2.1}{9}{\textcolor {Chapter }{DrawDClasses}\relax }{subsection.3.2.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}\leavevmode {\color  {Chapter }Cayley graphs}}{10}{section.3.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}\leavevmode {\color  {Chapter }DrawRightCayleyGraph}}{10}{subsection.3.3.1}}
\newlabel{DrawRightCayleyGraph}{{3.3.1}{10}{\textcolor {Chapter }{DrawRightCayleyGraph}\relax }{subsection.3.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}\leavevmode {\color  {Chapter }DrawCayleyGraph}}{10}{subsection.3.3.2}}
\newlabel{DrawCayleyGraph}{{3.3.2}{10}{\textcolor {Chapter }{DrawCayleyGraph}\relax }{subsection.3.3.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}\leavevmode {\color  {Chapter }Schutzenberger graphs}}{10}{section.3.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.1}\leavevmode {\color  {Chapter }DrawSchutzenbergerGraphs}}{10}{subsection.3.4.1}}
\newlabel{DrawSchutzenbergerGraphs}{{3.4.1}{10}{\textcolor {Chapter }{DrawSchutzenbergerGraphs}\relax }{subsection.3.4.1}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}\leavevmode {\color  {Chapter }User friendly ways to give semigroups and automata}}{11}{chapter.4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}\leavevmode {\color  {Chapter } Finite automata }}{11}{section.4.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}\leavevmode {\color  {Chapter }XAutomaton}}{11}{subsection.4.1.1}}
\newlabel{XAutomaton}{{4.1.1}{11}{\textcolor {Chapter }{XAutomaton}\relax }{subsection.4.1.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}\leavevmode {\color  {Chapter } Finite semigroups }}{12}{section.4.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}\leavevmode {\color  {Chapter }XSemigroup}}{12}{subsection.4.2.1}}
\newlabel{XSemigroup}{{4.2.1}{12}{\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 }}{12}{subsection.4.2.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.3}\leavevmode {\color  {Chapter } Semigroups given by partial transformations }}{12}{subsection.4.2.3}}
\bibstyle{alpha}
\bibdata{SgpVizMan}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.4}\leavevmode {\color  {Chapter } Syntatic semigroups }}{13}{subsection.4.2.4}}
\bibcite{KoutsofiosNorth:2002}{DEG{$^{+}$}}
