1 \relax |
1 \relax |
2 \providecommand\hyper@newdestlabel[2]{} |
2 \providecommand\hyper@newdestlabel[2]{} |
3 \@writefile{toc}{\contentsline {chapter}{\numberline {1}Introduction}{1}{chapter.14}} |
3 \@writefile{toc}{\contentsline {chapter}{\numberline {1}POSIX Lexing With Bit-codes}{1}{chapter.14}} |
4 \@writefile{lof}{\addvspace {10\p@ }} |
4 \@writefile{lof}{\addvspace {10\p@ }} |
5 \@writefile{lot}{\addvspace {10\p@ }} |
5 \@writefile{lot}{\addvspace {10\p@ }} |
6 \newlabel{Chapter1}{{1}{1}{Introduction}{chapter.14}{}} |
6 \newlabel{Chapter1}{{1}{1}{POSIX Lexing With Bit-codes}{chapter.14}{}} |
7 \@writefile{toc}{\contentsline {section}{\numberline {1.1}Why Brzozowski}{2}{section.15}} |
7 \@writefile{toc}{\contentsline {section}{\numberline {1.1}Introduction To Regexes}{1}{section.15}} |
8 \@writefile{toc}{\contentsline {section}{\numberline {1.2}Backgound}{4}{section.16}} |
8 \@writefile{toc}{\contentsline {subsection}{\numberline {1.1.1}Back References in Regex--Non-Regular part}{4}{subsection.16}} |
9 \@writefile{toc}{\contentsline {section}{\numberline {1.3}Existing Practical Approaches}{5}{section.17}} |
9 \@writefile{toc}{\contentsline {section}{\numberline {1.2}Our Solution--Brzozowski Derivatives}{4}{section.17}} |
10 \@writefile{toc}{\contentsline {subsection}{\numberline {1.3.1}DFA Approach}{5}{subsection.18}} |
10 \@writefile{toc}{\contentsline {section}{\numberline {1.3}Preliminaries about Lexing Using Brzozowski derivatives}{4}{section.18}} |
11 \@writefile{toc}{\contentsline {subsection}{\numberline {1.3.2}NFA Approach}{5}{subsection.19}} |
11 \newlabel{graph:*}{{1.1}{6}{Preliminaries about Lexing Using Brzozowski derivatives}{equation.19}{}} |
12 \@writefile{toc}{\contentsline {section}{\numberline {1.4}Our Approach}{5}{section.20}} |
12 \newlabel{graph:2}{{1.3}{8}{Values and the Lexing Algorithm by Sulzmann and Lu}{equation.22}{}} |
13 \@writefile{toc}{\contentsline {subsection}{\numberline {1.4.1}Existing Work}{5}{subsection.21}} |
13 \@writefile{toc}{\contentsline {section}{\numberline {1.4}Backgound}{14}{section.25}} |
14 \@writefile{toc}{\contentsline {section}{\numberline {1.5}What this Template Includes}{5}{section.22}} |
14 \@writefile{toc}{\contentsline {section}{\numberline {1.5}Engineering and Academic Approaches to Deal with Catastrophic Backtracking}{15}{section.26}} |
15 \@writefile{toc}{\contentsline {subsection}{\numberline {1.5.1}Folders}{5}{subsection.23}} |
15 \@writefile{toc}{\contentsline {subsection}{\numberline {1.5.1}DFA Approach}{15}{subsection.27}} |
16 \@writefile{toc}{\contentsline {subsection}{\numberline {1.5.2}Files}{6}{subsection.24}} |
16 \@writefile{toc}{\contentsline {subsection}{\numberline {1.5.2}NFA Approach}{15}{subsection.28}} |
17 \@writefile{toc}{\contentsline {section}{\numberline {1.6}Filling in Your Information in the \texttt {\bfseries main.tex} File}{7}{section.25}} |
17 \@writefile{toc}{\contentsline {section}{\numberline {1.6}Our Approach}{15}{section.29}} |
18 \newlabel{FillingFile}{{1.6}{7}{Filling in Your Information in the \file {main.tex} File}{section.25}{}} |
18 \@writefile{toc}{\contentsline {subsection}{\numberline {1.6.1}Existing Work}{15}{subsection.30}} |
19 \@writefile{toc}{\contentsline {section}{\numberline {1.7}The \texttt {main.tex} File Explained}{7}{section.26}} |
19 \@writefile{toc}{\contentsline {section}{\numberline {1.7}What this Template Includes}{16}{section.31}} |
20 \@writefile{toc}{\contentsline {section}{\numberline {1.8}Thesis Features and Conventions}{8}{section.27}} |
20 \@writefile{toc}{\contentsline {subsection}{\numberline {1.7.1}Folders}{16}{subsection.32}} |
21 \newlabel{ThesisConventions}{{1.8}{8}{Thesis Features and Conventions}{section.27}{}} |
21 \@writefile{toc}{\contentsline {subsection}{\numberline {1.7.2}Files}{16}{subsection.33}} |
22 \@writefile{toc}{\contentsline {subsection}{\numberline {1.8.1}Printing Format}{8}{subsection.28}} |
22 \@writefile{toc}{\contentsline {section}{\numberline {1.8}Filling in Your Information in the \texttt {\bfseries main.tex} File}{17}{section.34}} |
23 \@writefile{toc}{\contentsline {subsection}{\numberline {1.8.2}Using US Letter Paper}{9}{subsection.29}} |
23 \newlabel{FillingFile}{{1.8}{17}{Filling in Your Information in the \file {main.tex} File}{section.34}{}} |
24 \@writefile{toc}{\contentsline {subsection}{\numberline {1.8.3}References}{9}{subsection.30}} |
24 \@writefile{toc}{\contentsline {section}{\numberline {1.9}The \texttt {main.tex} File Explained}{17}{section.35}} |
25 \@writefile{toc}{\contentsline {subsubsection}{A Note on bibtex}{9}{section*.32}} |
25 \@writefile{toc}{\contentsline {section}{\numberline {1.10}Thesis Features and Conventions}{18}{section.36}} |
26 \@writefile{lot}{\contentsline {table}{\numberline {1.1}{\ignorespaces The effects of treatments X and Y on the four groups studied.\relax }}{10}{table.caption.34}} |
26 \newlabel{ThesisConventions}{{1.10}{18}{Thesis Features and Conventions}{section.36}{}} |
|
27 \@writefile{toc}{\contentsline {subsection}{\numberline {1.10.1}Printing Format}{19}{subsection.37}} |
|
28 \@writefile{toc}{\contentsline {subsection}{\numberline {1.10.2}Using US Letter Paper}{19}{subsection.38}} |
|
29 \@writefile{toc}{\contentsline {subsection}{\numberline {1.10.3}References}{19}{subsection.39}} |
|
30 \@writefile{lot}{\contentsline {table}{\numberline {1.1}{\ignorespaces The effects of treatments X and Y on the four groups studied.\relax }}{20}{table.caption.43}} |
27 \providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}} |
31 \providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}} |
28 \newlabel{tab:treatments}{{1.1}{10}{The effects of treatments X and Y on the four groups studied.\relax }{table.caption.34}{}} |
32 \newlabel{tab:treatments}{{1.1}{20}{The effects of treatments X and Y on the four groups studied.\relax }{table.caption.43}{}} |
29 \@writefile{toc}{\contentsline {subsection}{\numberline {1.8.4}Tables}{10}{subsection.33}} |
33 \@writefile{toc}{\contentsline {subsubsection}{A Note on bibtex}{20}{section*.41}} |
30 \@writefile{toc}{\contentsline {subsection}{\numberline {1.8.5}Figures}{10}{subsection.35}} |
34 \@writefile{toc}{\contentsline {subsection}{\numberline {1.10.4}Tables}{20}{subsection.42}} |
31 \@writefile{lof}{\contentsline {figure}{\numberline {1.1}{\ignorespaces An Electron}}{11}{figure.caption.36}} |
35 \@writefile{toc}{\contentsline {subsection}{\numberline {1.10.5}Figures}{20}{subsection.44}} |
32 \newlabel{fig:Electron}{{1.1}{11}{An Electron}{figure.caption.36}{}} |
36 \@writefile{lof}{\contentsline {figure}{\numberline {1.1}{\ignorespaces An Electron}}{21}{figure.caption.45}} |
33 \@writefile{toc}{\contentsline {subsection}{\numberline {1.8.6}Typesetting mathematics}{11}{subsection.37}} |
37 \newlabel{fig:Electron}{{1.1}{21}{An Electron}{figure.caption.45}{}} |
34 \newlabel{eqn:Einstein}{{1.1}{12}{Typesetting mathematics}{equation.38}{}} |
38 \@writefile{toc}{\contentsline {subsection}{\numberline {1.10.6}Typesetting mathematics}{22}{subsection.46}} |
35 \@writefile{toc}{\contentsline {section}{\numberline {1.9}Sectioning and Subsectioning}{12}{section.39}} |
39 \newlabel{eqn:Einstein}{{1.4}{22}{Typesetting mathematics}{equation.47}{}} |
36 \@writefile{toc}{\contentsline {section}{\numberline {1.10}In Closing}{12}{section.40}} |
40 \@writefile{toc}{\contentsline {section}{\numberline {1.11}Sectioning and Subsectioning}{22}{section.48}} |
|
41 \@writefile{toc}{\contentsline {section}{\numberline {1.12}In Closing}{22}{section.49}} |
37 \@setckpt{Chapters/Chapter1}{ |
42 \@setckpt{Chapters/Chapter1}{ |
38 \setcounter{page}{13} |
43 \setcounter{page}{23} |
39 \setcounter{equation}{1} |
44 \setcounter{equation}{4} |
40 \setcounter{enumi}{0} |
45 \setcounter{enumi}{0} |
41 \setcounter{enumii}{0} |
46 \setcounter{enumii}{0} |
42 \setcounter{enumiii}{0} |
47 \setcounter{enumiii}{0} |
43 \setcounter{enumiv}{0} |
48 \setcounter{enumiv}{0} |
44 \setcounter{footnote}{1} |
49 \setcounter{footnote}{1} |
45 \setcounter{mpfootnote}{0} |
50 \setcounter{mpfootnote}{0} |
46 \setcounter{part}{0} |
51 \setcounter{part}{0} |
47 \setcounter{chapter}{1} |
52 \setcounter{chapter}{1} |
48 \setcounter{section}{10} |
53 \setcounter{section}{12} |
49 \setcounter{subsection}{0} |
54 \setcounter{subsection}{0} |
50 \setcounter{subsubsection}{0} |
55 \setcounter{subsubsection}{0} |
51 \setcounter{paragraph}{0} |
56 \setcounter{paragraph}{0} |
52 \setcounter{subparagraph}{0} |
57 \setcounter{subparagraph}{0} |
53 \setcounter{figure}{1} |
58 \setcounter{figure}{1} |