1 \boolfalse {citerequest}\boolfalse {citetracker}\boolfalse {pagetracker}\boolfalse {backtracker}\relax |
|
2 \babel@toc {english}{} |
|
3 \contentsline {chapter}{Declaration of Authorship}{iii}{section*.1} |
|
4 \contentsline {chapter}{Abstract}{vii}{section*.2} |
|
5 \contentsline {chapter}{Acknowledgements}{ix}{section*.3} |
|
6 \contentsline {chapter}{\numberline {1}POSIX Lexing With Bit-codes}{1}{chapter.14} |
|
7 \contentsline {section}{\numberline {1.1}Introduction To Regexes}{1}{section.15} |
|
8 \contentsline {subsection}{\numberline {1.1.1}Back References in Regex--Non-Regular part}{4}{subsection.16} |
|
9 \contentsline {section}{\numberline {1.2}Our Solution--Brzozowski Derivatives}{4}{section.17} |
|
10 \contentsline {section}{\numberline {1.3}Preliminaries about Lexing Using Brzozowski derivatives}{4}{section.18} |
|
11 \contentsline {section}{\numberline {1.4}Backgound}{14}{section.25} |
|
12 \contentsline {section}{\numberline {1.5}Engineering and Academic Approaches to Deal with Catastrophic Backtracking}{15}{section.26} |
|
13 \contentsline {subsection}{\numberline {1.5.1}DFA Approach}{15}{subsection.27} |
|
14 \contentsline {subsection}{\numberline {1.5.2}NFA Approach}{15}{subsection.28} |
|
15 \contentsline {section}{\numberline {1.6}Our Approach}{15}{section.29} |
|
16 \contentsline {subsection}{\numberline {1.6.1}Existing Work}{15}{subsection.30} |
|
17 \contentsline {section}{\numberline {1.7}What this Template Includes}{16}{section.31} |
|
18 \contentsline {subsection}{\numberline {1.7.1}Folders}{16}{subsection.32} |
|
19 \contentsline {subsection}{\numberline {1.7.2}Files}{16}{subsection.33} |
|
20 \contentsline {section}{\numberline {1.8}Filling in Your Information in the \texttt {\bfseries main.tex} File}{17}{section.34} |
|
21 \contentsline {section}{\numberline {1.9}The \texttt {main.tex} File Explained}{17}{section.35} |
|
22 \contentsline {section}{\numberline {1.10}Thesis Features and Conventions}{18}{section.36} |
|
23 \contentsline {subsection}{\numberline {1.10.1}Printing Format}{19}{subsection.37} |
|
24 \contentsline {subsection}{\numberline {1.10.2}Using US Letter Paper}{19}{subsection.38} |
|
25 \contentsline {subsection}{\numberline {1.10.3}References}{19}{subsection.39} |
|
26 \contentsline {subsubsection}{A Note on bibtex}{20}{section*.41} |
|
27 \contentsline {subsection}{\numberline {1.10.4}Tables}{20}{subsection.42} |
|
28 \contentsline {subsection}{\numberline {1.10.5}Figures}{20}{subsection.44} |
|
29 \contentsline {subsection}{\numberline {1.10.6}Typesetting mathematics}{22}{subsection.46} |
|
30 \contentsline {section}{\numberline {1.11}Sectioning and Subsectioning}{22}{section.48} |
|
31 \contentsline {section}{\numberline {1.12}In Closing}{22}{section.49} |
|
32 \contentsline {chapter}{\numberline {2}Chapter Title Here}{23}{chapter.50} |
|
33 \contentsline {section}{\numberline {2.1}Properties of $\delimiter "026E30F c$}{23}{section.51} |
|
34 \contentsline {subsection}{\numberline {2.1.1}function $\delimiter "026E30F c$ is not 1-to-1}{23}{subsection.52} |
|
35 \contentsline {subsection}{\numberline {2.1.2}Subsection 1}{23}{subsection.53} |
|
36 \contentsline {subsection}{\numberline {2.1.3}Subsection 2}{23}{subsection.54} |
|
37 \contentsline {section}{\numberline {2.2}Main Section 2}{24}{section.55} |
|
38 \contentsline {chapter}{\numberline {3}Common Identities In Simplification-Related Functions}{25}{chapter.56} |
|
39 \contentsline {section}{\numberline {3.1}Idempotency of $\mathit {simp}$}{25}{section.57} |
|
40 \contentsline {subsection}{\numberline {3.1.1}Syntactic Equivalence Under $\mathit {simp}$}{25}{subsection.59} |
|
41 \contentsline {subsection}{\numberline {3.1.2}Subsection 2}{25}{subsection.60} |
|
42 \contentsline {section}{\numberline {3.2}Main Section 2}{25}{section.61} |
|
43 \contentsline {chapter}{\numberline {A}Frequently Asked Questions}{27}{appendix.62} |
|
44 \contentsline {section}{\numberline {A.1}How do I change the colors of links?}{27}{section.63} |
|
45 \contentsline {chapter}{Bibliography}{29}{appendix*.64} |
|