equal
deleted
inserted
replaced
15 \global\let\hyper@last\relax |
15 \global\let\hyper@last\relax |
16 \gdef\HyperFirstAtBeginDocument#1{#1} |
16 \gdef\HyperFirstAtBeginDocument#1{#1} |
17 \providecommand\HyField@AuxAddToFields[1]{} |
17 \providecommand\HyField@AuxAddToFields[1]{} |
18 \providecommand\HyField@AuxAddToCoFields[2]{} |
18 \providecommand\HyField@AuxAddToCoFields[2]{} |
19 \citation{Davis18} |
19 \citation{Davis18} |
20 \babel@aux{UKenglish}{} |
20 \select@language{UKenglish} |
|
21 \@writefile{toc}{\select@language{UKenglish}} |
|
22 \@writefile{lof}{\select@language{UKenglish}} |
|
23 \@writefile{lot}{\select@language{UKenglish}} |
21 \@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}} |
24 \@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}} |
22 \citation{AusafDyckhoffUrban2016} |
25 \citation{AusafDyckhoffUrban2016} |
23 \citation{OkuiSuzuki2010} |
26 \citation{OkuiSuzuki2010} |
24 \citation{Vansummeren2006} |
27 \citation{Vansummeren2006} |
25 \citation{CrashCourse2014} |
28 \citation{CrashCourse2014} |
35 \@writefile{toc}{\contentsline {section}{\numberline {3}Simplification of Regular Expressions}{4}{section.3}} |
38 \@writefile{toc}{\contentsline {section}{\numberline {3}Simplification of Regular Expressions}{4}{section.3}} |
36 \citation{Sulzmann2014} |
39 \citation{Sulzmann2014} |
37 \@writefile{toc}{\contentsline {section}{\numberline {4}Conclusion}{5}{section.4}} |
40 \@writefile{toc}{\contentsline {section}{\numberline {4}Conclusion}{5}{section.4}} |
38 \bibstyle{plain} |
41 \bibstyle{plain} |
39 \bibdata{root} |
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} |
40 \newlabel{LastPage}{{}{6}{}{page.6}{}} |
52 \newlabel{LastPage}{{}{6}{}{page.6}{}} |
41 \xdef\lastpage@lastpage{6} |
53 \xdef\lastpage@lastpage{6} |
42 \xdef\lastpage@lastpageHy{6} |
54 \xdef\lastpage@lastpageHy{6} |