\contentsline {chapter}{\numberline {1}\leavevmode {\color {Chapter } Introduction }}{4}{chapter.1}
\contentsline {chapter}{\numberline {2}\leavevmode {\color {Chapter }Basics}}{5}{chapter.2}
\contentsline {section}{\numberline {2.1}\leavevmode {\color {Chapter }Examples }}{5}{section.2.1}
\contentsline {section}{\numberline {2.2}\leavevmode {\color {Chapter }Some attributes}}{6}{section.2.2}
\contentsline {subsection}{\numberline {2.2.1}\leavevmode {\color {Chapter }HasCommutingIdempotents}}{6}{subsection.2.2.1}
\contentsline {subsection}{\numberline {2.2.2}\leavevmode {\color {Chapter }IsInverseSemigroup}}{6}{subsection.2.2.2}
\contentsline {section}{\numberline {2.3}\leavevmode {\color {Chapter }Some basic functions}}{6}{section.2.3}
\contentsline {subsection}{\numberline {2.3.1}\leavevmode {\color {Chapter }PartialTransformation}}{6}{subsection.2.3.1}
\contentsline {subsection}{\numberline {2.3.2}\leavevmode {\color {Chapter }ReduceNumberOfGenerators}}{6}{subsection.2.3.2}
\contentsline {subsection}{\numberline {2.3.3}\leavevmode {\color {Chapter }SemigroupFactorization}}{7}{subsection.2.3.3}
\contentsline {subsection}{\numberline {2.3.4}\leavevmode {\color {Chapter }GrahamBlocks}}{7}{subsection.2.3.4}
\contentsline {section}{\numberline {2.4}\leavevmode {\color {Chapter }Cayley graphs}}{8}{section.2.4}
\contentsline {subsection}{\numberline {2.4.1}\leavevmode {\color {Chapter }RightCayleyGraphAsAutomaton}}{8}{subsection.2.4.1}
\contentsline {subsection}{\numberline {2.4.2}\leavevmode {\color {Chapter }RightCayleyGraphMonoidAsAutomaton}}{8}{subsection.2.4.2}
\contentsline {chapter}{\numberline {3}\leavevmode {\color {Chapter } Drawings of semigroups }}{9}{chapter.3}
\contentsline {section}{\numberline {3.1}\leavevmode {\color {Chapter } Drawing the D-class of an element of a semigroup }}{9}{section.3.1}
\contentsline {subsection}{\numberline {3.1.1}\leavevmode {\color {Chapter }DrawDClassOfElement}}{9}{subsection.3.1.1}
\contentsline {section}{\numberline {3.2}\leavevmode {\color {Chapter } Drawing the D-classes of a semigroup }}{9}{section.3.2}
\contentsline {subsection}{\numberline {3.2.1}\leavevmode {\color {Chapter }DrawDClasses}}{9}{subsection.3.2.1}
\contentsline {section}{\numberline {3.3}\leavevmode {\color {Chapter }Cayley graphs}}{10}{section.3.3}
\contentsline {subsection}{\numberline {3.3.1}\leavevmode {\color {Chapter }DrawRightCayleyGraph}}{10}{subsection.3.3.1}
\contentsline {subsection}{\numberline {3.3.2}\leavevmode {\color {Chapter }DrawCayleyGraph}}{10}{subsection.3.3.2}
\contentsline {section}{\numberline {3.4}\leavevmode {\color {Chapter }Schutzenberger graphs}}{10}{section.3.4}
\contentsline {subsection}{\numberline {3.4.1}\leavevmode {\color {Chapter }DrawSchutzenbergerGraphs}}{10}{subsection.3.4.1}
\contentsline {chapter}{\numberline {4}\leavevmode {\color {Chapter }User friendly ways to give semigroups and automata}}{11}{chapter.4}
\contentsline {section}{\numberline {4.1}\leavevmode {\color {Chapter } Finite automata }}{11}{section.4.1}
\contentsline {subsection}{\numberline {4.1.1}\leavevmode {\color {Chapter }XAutomaton}}{11}{subsection.4.1.1}
\contentsline {section}{\numberline {4.2}\leavevmode {\color {Chapter } Finite semigroups }}{12}{section.4.2}
\contentsline {subsection}{\numberline {4.2.1}\leavevmode {\color {Chapter }XSemigroup}}{12}{subsection.4.2.1}
\contentsline {subsection}{\numberline {4.2.2}\leavevmode {\color {Chapter } Semigroups given through generators and relations }}{12}{subsection.4.2.2}
\contentsline {subsection}{\numberline {4.2.3}\leavevmode {\color {Chapter } Semigroups given by partial transformations }}{12}{subsection.4.2.3}
\contentsline {subsection}{\numberline {4.2.4}\leavevmode {\color {Chapter } Syntatic semigroups }}{13}{subsection.4.2.4}
