|
17
|
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 |
\babel@aux{UKenglish}{}
|
|
|
21 |
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}}
|
|
|
22 |
\citation{AusafDyckhoffUrban2016}
|
|
|
23 |
\citation{OkuiSuzuki2010}
|
|
|
24 |
\citation{Vansummeren2006}
|
|
|
25 |
\citation{CrashCourse2014}
|
|
|
26 |
\citation{Kuklewicz}
|
|
|
27 |
\citation{Sulzmann2014}
|
|
|
28 |
\citation{Brzozowski1964}
|
|
|
29 |
\@writefile{toc}{\contentsline {section}{\numberline {2}The Algorithms by Brzozowski, and Sulzmann and Lu}{2}{section.2}}
|
|
|
30 |
\citation{Sulzmann2014}
|
|
|
31 |
\citation{Sulzmann2014}
|
|
|
32 |
\citation{AusafDyckhoffUrban2016}
|
|
|
33 |
\citation{Antimirov95}
|
|
|
34 |
\citation{Sulzmann2014}
|
|
|
35 |
\@writefile{toc}{\contentsline {section}{\numberline {3}Simplification of Regular Expressions}{4}{section.3}}
|
|
|
36 |
\citation{Sulzmann2014}
|
|
|
37 |
\@writefile{toc}{\contentsline {section}{\numberline {4}Conclusion}{5}{section.4}}
|
|
|
38 |
\bibstyle{plain}
|
|
|
39 |
\bibdata{root}
|
|
|
40 |
\newlabel{LastPage}{{}{6}{}{page.6}{}}
|
|
|
41 |
\xdef\lastpage@lastpage{6}
|
|
|
42 |
\xdef\lastpage@lastpageHy{6}
|