1 \relax 

     2 \providecommand\hyper@newdestlabel[2]{}

     3 \providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}

     4 \HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined

     5 \global\let\oldcontentsline\contentsline

     6 \gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}

     7 \global\let\oldnewlabel\newlabel

     8 \gdef\newlabel#1#2{\newlabelxx{#1}#2}

     9 \gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}

    10 \AtEndDocument{\ifx\hyper@anchor\@undefined

    11 \let\contentsline\oldcontentsline

    12 \let\newlabel\oldnewlabel

    13 \fi}

    14 \fi}

    15 \global\let\hyper@last\relax 

    16 \gdef\HyperFirstAtBeginDocument#1{#1}

    17 \providecommand\HyField@AuxAddToFields[1]{}

    18 \providecommand\HyField@AuxAddToCoFields[2]{}

    19 \citation{Davis18}

    20 \select@language{UKenglish}

    21 \@writefile{toc}{\select@language{UKenglish}}

    22 \@writefile{lof}{\select@language{UKenglish}}

    23 \@writefile{lot}{\select@language{UKenglish}}

    24 \@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}}

    25 \citation{AusafDyckhoffUrban2016}

    26 \citation{OkuiSuzuki2010}

    27 \citation{Vansummeren2006}

    28 \citation{CrashCourse2014}

    29 \citation{Kuklewicz}

    30 \citation{Sulzmann2014}

    31 \citation{Brzozowski1964}

    32 \@writefile{toc}{\contentsline {section}{\numberline {2}The Algorithms by Brzozowski, and Sulzmann and Lu}{2}{section.2}}

    33 \citation{Sulzmann2014}

    34 \citation{Sulzmann2014}

    35 \citation{AusafDyckhoffUrban2016}

    36 \citation{Antimirov95}

    37 \citation{Sulzmann2014}

    38 \@writefile{toc}{\contentsline {section}{\numberline {3}Simplification of Regular Expressions}{4}{section.3}}

    39 \citation{Sulzmann2014}

    40 \@writefile{toc}{\contentsline {section}{\numberline {4}Conclusion}{5}{section.4}}

    41 \bibstyle{plain}

    42 \bibdata{root}

    43 \bibcite{Antimirov95}{1}

    44 \bibcite{AusafDyckhoffUrban2016}{2}

    45 \bibcite{Brzozowski1964}{3}

    46 \bibcite{Davis18}{4}

    47 \bibcite{CrashCourse2014}{5}

    48 \bibcite{Kuklewicz}{6}

    49 \bibcite{OkuiSuzuki2010}{7}

    50 \bibcite{Sulzmann2014}{8}

    51 \bibcite{Vansummeren2006}{9}

    52 \newlabel{LastPage}{{}{6}{}{page.6}{}}

    53 \xdef\lastpage@lastpage{6}

    54 \xdef\lastpage@lastpageHy{6}