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{AusafDyckhoffUrban2016}

    20 \babel@aux{UKenglish}{}

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

    22 \citation{Davis18}

    23 \citation{17Bir}

    24 \citation{AusafDyckhoffUrban2016}

    25 \citation{OkuiSuzuki2010}

    26 \citation{Vansummeren2006}

    27 \citation{Sulzmann2014}

    28 \citation{AusafDyckhoffUrban2016}

    29 \citation{CrashCourse2014}

    30 \citation{Kuklewicz}

    31 \citation{Sulzmann2014}

    32 \citation{Brzozowski1964}

    33 \@writefile{toc}{\contentsline {section}{\numberline {2}The Algorithm by Brzozowski based on Derivatives of Regular Expressions}{6}{section.2}}

    34 \citation{Sulzmann2014}

    35 \newlabel{graph:*}{{1}{7}{The Algorithm by Brzozowski based on Derivatives of Regular Expressions}{equation.2.1}{}}

    36 \@writefile{toc}{\contentsline {section}{\numberline {3}Values and the Algorithm by Sulzmann and Lu}{7}{section.3}}

    37 \newlabel{graph:2}{{2}{8}{Values and the Algorithm by Sulzmann and Lu}{equation.3.2}{}}

    38 \citation{nielson11bcre}

    39 \citation{AusafDyckhoffUrban2016}

    40 \citation{Antimirov95}

    41 \@writefile{toc}{\contentsline {section}{\numberline {4}Simplification of Regular Expressions}{12}{section.4}}

    42 \citation{Sulzmann2014}

    43 \citation{Sulzmann2014}

    44 \@writefile{toc}{\contentsline {section}{\numberline {5}Current Work}{16}{section.5}}

    45 \bibstyle{plain}

    46 \bibdata{root}

    47 \bibcite{Antimirov95}{1}

    48 \bibcite{AusafDyckhoffUrban2016}{2}

    49 \bibcite{Brzozowski1964}{3}

    50 \bibcite{Davis18}{4}

    51 \bibcite{CrashCourse2014}{5}

    52 \bibcite{Kuklewicz}{6}

    53 \bibcite{nielson11bcre}{7}

    54 \bibcite{OkuiSuzuki2010}{8}

    55 \@writefile{toc}{\contentsline {section}{\numberline {6}Conclusion}{19}{section.6}}

    56 \bibcite{17Bir}{9}

    57 \bibcite{Sulzmann2014}{10}

    58 \bibcite{Vansummeren2006}{11}

    59 \newlabel{LastPage}{{}{20}{}{page.20}{}}

    60 \xdef\lastpage@lastpage{20}

    61 \xdef\lastpage@lastpageHy{20}