|
94
|
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 |
\citation{17Bir}
|
|
|
21 |
\babel@aux{UKenglish}{}
|
|
|
22 |
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}}
|
|
|
23 |
\citation{AusafDyckhoffUrban2016}
|
|
|
24 |
\citation{OkuiSuzuki2010}
|
|
|
25 |
\citation{Vansummeren2006}
|
|
|
26 |
\citation{Sulzmann2014}
|
|
|
27 |
\citation{AusafDyckhoffUrban2016}
|
|
|
28 |
\citation{CrashCourse2014}
|
|
|
29 |
\citation{Kuklewicz}
|
|
|
30 |
\citation{Sulzmann2014}
|
|
|
31 |
\citation{Brzozowski1964}
|
|
|
32 |
\@writefile{toc}{\contentsline {section}{\numberline {2}The Algorithm by Brzozowski based on Derivatives of Regular Expressions}{3}{section.2}}
|
|
|
33 |
\citation{Sulzmann2014}
|
|
|
34 |
\newlabel{graph:*}{{1}{4}{The Algorithm by Brzozowski based on Derivatives of Regular Expressions}{equation.2.1}{}}
|
|
|
35 |
\@writefile{toc}{\contentsline {section}{\numberline {3}Values and the Algorithm by Sulzmann and Lu}{4}{section.3}}
|
|
|
36 |
\newlabel{graph:2}{{2}{5}{Values and the Algorithm by Sulzmann and Lu}{equation.3.2}{}}
|
|
|
37 |
\citation{nielson11bcre}
|
|
|
38 |
\citation{AusafDyckhoffUrban2016}
|
|
|
39 |
\citation{Antimirov95}
|
|
|
40 |
\@writefile{toc}{\contentsline {section}{\numberline {4}Simplification of Regular Expressions}{8}{section.4}}
|
|
|
41 |
\citation{Sulzmann2014}
|
|
|
42 |
\citation{Sulzmann2014}
|
|
|
43 |
\@writefile{toc}{\contentsline {section}{\numberline {5}Current Work}{13}{section.5}}
|
|
|
44 |
\@writefile{toc}{\contentsline {section}{\numberline {6}Conclusion}{15}{section.6}}
|
|
|
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 |
\bibcite{17Bir}{9}
|
|
|
56 |
\bibcite{Sulzmann2014}{10}
|
|
|
57 |
\bibcite{Vansummeren2006}{11}
|
|
|
58 |
\newlabel{LastPage}{{}{16}{}{page.16}{}}
|
|
|
59 |
\xdef\lastpage@lastpage{16}
|
|
|
60 |
\xdef\lastpage@lastpageHy{16}
|