|
456
|
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}Introduction}{1}{chapter.14}
|
|
|
7 |
\contentsline {section}{\numberline {1.1}Why Brzozowski}{2}{section.15}
|
|
|
8 |
\contentsline {section}{\numberline {1.2}Backgound}{4}{section.16}
|
|
|
9 |
\contentsline {section}{\numberline {1.3}Existing Practical Approaches}{5}{section.17}
|
|
|
10 |
\contentsline {subsection}{\numberline {1.3.1}DFA Approach}{5}{subsection.18}
|
|
|
11 |
\contentsline {subsection}{\numberline {1.3.2}NFA Approach}{5}{subsection.19}
|
|
|
12 |
\contentsline {section}{\numberline {1.4}Our Approach}{5}{section.20}
|
|
|
13 |
\contentsline {subsection}{\numberline {1.4.1}Existing Work}{5}{subsection.21}
|
|
|
14 |
\contentsline {section}{\numberline {1.5}What this Template Includes}{5}{section.22}
|
|
|
15 |
\contentsline {subsection}{\numberline {1.5.1}Folders}{5}{subsection.23}
|
|
|
16 |
\contentsline {subsection}{\numberline {1.5.2}Files}{6}{subsection.24}
|
|
|
17 |
\contentsline {section}{\numberline {1.6}Filling in Your Information in the \texttt {\bfseries main.tex} File}{7}{section.25}
|
|
|
18 |
\contentsline {section}{\numberline {1.7}The \texttt {main.tex} File Explained}{7}{section.26}
|
|
|
19 |
\contentsline {section}{\numberline {1.8}Thesis Features and Conventions}{8}{section.27}
|
|
|
20 |
\contentsline {subsection}{\numberline {1.8.1}Printing Format}{8}{subsection.28}
|
|
|
21 |
\contentsline {subsection}{\numberline {1.8.2}Using US Letter Paper}{9}{subsection.29}
|
|
|
22 |
\contentsline {subsection}{\numberline {1.8.3}References}{9}{subsection.30}
|
|
|
23 |
\contentsline {subsubsection}{A Note on bibtex}{9}{section*.32}
|
|
|
24 |
\contentsline {subsection}{\numberline {1.8.4}Tables}{10}{subsection.33}
|
|
|
25 |
\contentsline {subsection}{\numberline {1.8.5}Figures}{10}{subsection.35}
|
|
|
26 |
\contentsline {subsection}{\numberline {1.8.6}Typesetting mathematics}{11}{subsection.37}
|
|
|
27 |
\contentsline {section}{\numberline {1.9}Sectioning and Subsectioning}{12}{section.39}
|
|
|
28 |
\contentsline {section}{\numberline {1.10}In Closing}{12}{section.40}
|
|
|
29 |
\contentsline {chapter}{\numberline {2}Chapter Title Here}{13}{chapter.41}
|
|
|
30 |
\contentsline {section}{\numberline {2.1}Properties of $\delimiter "026E30F c$}{13}{section.42}
|
|
|
31 |
\contentsline {subsection}{\numberline {2.1.1}function $\delimiter "026E30F c$ is not 1-to-1}{13}{subsection.43}
|
|
|
32 |
\contentsline {subsection}{\numberline {2.1.2}Subsection 1}{13}{subsection.44}
|
|
|
33 |
\contentsline {subsection}{\numberline {2.1.3}Subsection 2}{13}{subsection.45}
|
|
|
34 |
\contentsline {section}{\numberline {2.2}Main Section 2}{14}{section.46}
|
|
|
35 |
\contentsline {chapter}{\numberline {3}Common Identities In Simplification-Related Functions}{15}{chapter.47}
|
|
|
36 |
\contentsline {section}{\numberline {3.1}Idempotency of $\mathit {simp}$}{15}{section.48}
|
|
|
37 |
\contentsline {subsection}{\numberline {3.1.1}Syntactic Equivalence Under $\mathit {simp}$}{15}{subsection.50}
|
|
|
38 |
\contentsline {subsection}{\numberline {3.1.2}Subsection 2}{15}{subsection.51}
|
|
|
39 |
\contentsline {section}{\numberline {3.2}Main Section 2}{15}{section.52}
|
|
|
40 |
\contentsline {chapter}{\numberline {A}Frequently Asked Questions}{17}{appendix.53}
|
|
|
41 |
\contentsline {section}{\numberline {A.1}How do I change the colors of links?}{17}{section.54}
|
|
|
42 |
\contentsline {chapter}{Bibliography}{19}{appendix*.55}
|