468
+ − 1
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+ − 2
% Masters/Doctoral Thesis
+ − 3
% LaTeX Template
+ − 4
% Version 2.5 (27/8/17)
+ − 5
%
+ − 6
% This template was downloaded from:
+ − 7
% http://www.LaTeXTemplates.com
+ − 8
%
+ − 9
% Version 2.x major modifications by:
+ − 10
% Vel (vel@latextemplates.com)
+ − 11
%
+ − 12
% This template is based on a template by:
+ − 13
% Steve Gunn (http://users.ecs.soton.ac.uk/srg/softwaretools/document/templates/)
+ − 14
% Sunil Patel (http://www.sunilpatel.co.uk/thesis-template/)
+ − 15
%
+ − 16
% Template license:
+ − 17
% CC BY-NC-SA 3.0 (http://creativecommons.org/licenses/by-nc-sa/3.0/)
+ − 18
%
+ − 19
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+ − 20
+ − 21
%----------------------------------------------------------------------------------------
+ − 22
% PACKAGES AND OTHER DOCUMENT CONFIGURATIONS
+ − 23
%----------------------------------------------------------------------------------------
+ − 24
+ − 25
\documentclass[
+ − 26
11pt, % The default document font size, options: 10pt, 11pt, 12pt
+ − 27
%oneside, % Two side (alternating margins) for binding by default, uncomment to switch to one side
+ − 28
english, % ngerman for German
+ − 29
singlespacing, % Single line spacing, alternatives: onehalfspacing or doublespacing
+ − 30
%draft, % Uncomment to enable draft mode (no pictures, no links, overfull hboxes indicated)
+ − 31
%nolistspacing, % If the document is onehalfspacing or doublespacing, uncomment this to set spacing in lists to single
+ − 32
%liststotoc, % Uncomment to add the list of figures/tables/etc to the table of contents
+ − 33
%toctotoc, % Uncomment to add the main table of contents to the table of contents
+ − 34
%parskip, % Uncomment to add space between paragraphs
+ − 35
%nohyperref, % Uncomment to not load the hyperref package
+ − 36
headsepline, % Uncomment to get a line under the header
+ − 37
%chapterinoneline, % Uncomment to place the chapter title next to the number on one line
471
+ − 38
consistentlayout, % Uncomment to change the layout of the declaration, abstract and acknowledgements pages to match the default layout
468
+ − 39
]{MastersDoctoralThesis} % The class file specifying the document structure
+ − 40
+ − 41
\usepackage[utf8]{inputenc} % Required for inputting international characters
+ − 42
\usepackage[T1]{fontenc} % Output font encoding for international characters
505
+ − 43
%\usepackage{fdsymbol} % Loads unicode-math
468
+ − 44
585
+ − 45
\usepackage{cancel}
+ − 46
590
+ − 47
\usepackage{listings}
+ − 48
\usepackage{xcolor}
+ − 49
\usepackage{beramono}
+ − 50
555
+ − 51
\usepackage{verbatim}
580
+ − 52
\usepackage{float}
468
+ − 53
\usepackage{mathpazo} % Use the Palatino font by default
+ − 54
\usepackage{hyperref}
542
+ − 55
\usepackage{lipsum}
564
+ − 56
\usepackage[backend=bibtex]{biblatex} % Use the bibtex backend with the authoryear citation style (which resembles APA)
577
+ − 57
+ − 58
\usepackage[usestackEOL]{stackengine}
+ − 59
\usepackage{scalerel}
+ − 60
\usepackage{graphicx}
+ − 61
564
+ − 62
%style=authoryear, natbib=true
500
+ − 63
\usepackage{stmaryrd}
537
+ − 64
\usepackage{caption}
468
+ − 65
+ − 66
\addbibresource{example.bib} % The filename of the bibliography
+ − 67
+ − 68
\usepackage[autostyle=true]{csquotes} % Required to generate language-dependent quotes in the bibliography
+ − 69
+ − 70
%My Newly added Libraries in addition to template
+ − 71
\usepackage{graphic}
+ − 72
\usepackage{data}
+ − 73
+ − 74
%\usepackage{algorithm}
+ − 75
\usepackage{amsmath}
577
+ − 76
\makeatletter
+ − 77
\newcommand{\xleftrightarrow}[2][]{\ext@arrow 3359\leftrightarrowfill@{#1}{#2}}
+ − 78
\newcommand{\xdashrightarrow}[2][]{\ext@arrow 0359\rightarrowfill@@{#1}{#2}}
+ − 79
\newcommand{\xdashleftarrow}[2][]{\ext@arrow 3095\leftarrowfill@@{#1}{#2}}
+ − 80
\newcommand{\xdashleftrightarrow}[2][]{\ext@arrow 3359\leftrightarrowfill@@{#1}{#2}}
+ − 81
\def\rightarrowfill@@{\arrowfill@@\relax\relbar\rightarrow}
+ − 82
\def\leftarrowfill@@{\arrowfill@@\leftarrow\relbar\relax}
+ − 83
\def\leftrightarrowfill@@{\arrowfill@@\leftarrow\relbar\rightarrow}
+ − 84
\def\arrowfill@@#1#2#3#4{%
+ − 85
$\m@th\thickmuskip0mu\medmuskip\thickmuskip\thinmuskip\thickmuskip
+ − 86
\relax#4#1
+ − 87
\xleaders\hbox{$#4#2$}\hfill
+ − 88
#3$%
+ − 89
}
+ − 90
\makeatother
579
+ − 91
\def\checkmark{\tikz\fill[scale=0.4](0,.35) -- (.25,0) -- (1,.7) -- (.25,.15) -- cycle;}
577
+ − 92
506
+ − 93
\usepackage{amsthm}
+ − 94
\usepackage{amssymb}
519
+ − 95
\usepackage{cleveref}
505
+ − 96
%\usepackage{mathtools}
468
+ − 97
\usepackage[noend]{algpseudocode}
+ − 98
\usepackage{enumitem}
+ − 99
\usepackage{nccmath}
+ − 100
\usepackage{tikz-cd}
+ − 101
\usepackage{tikz}
472
+ − 102
\usetikzlibrary{automata, positioning, calc}
579
+ − 103
\usetikzlibrary{arrows}
580
+ − 104
\usetikzlibrary{shapes.misc}
542
+ − 105
\usetikzlibrary{fit,
564
+ − 106
shapes.geometric,
+ − 107
patterns,
+ − 108
backgrounds,
+ − 109
graphs}
+ − 110
\usetikzlibrary{babel}
538
+ − 111
\usepackage{mathpartir}
555
+ − 112
\usepackage{stackrel}
537
+ − 113
+ − 114
\DeclareCaptionType{mytype}[Illustration][]
+ − 115
\newenvironment{envForCaption}{\captionsetup{type=mytype} }{}
577
+ − 116
590
+ − 117
\pgfplotsset{
+ − 118
myplotstyle/.style={
+ − 119
legend style={draw=none, font=\small},
+ − 120
legend cell align=left,
+ − 121
legend pos=north east,
+ − 122
ylabel style={align=center, font=\bfseries\boldmath},
+ − 123
xlabel style={align=center, font=\bfseries\boldmath},
+ − 124
x tick label style={font=\bfseries\boldmath},
+ − 125
y tick label style={font=\bfseries\boldmath},
+ − 126
scaled ticks=true,
+ − 127
every axis plot/.append style={thick},
+ − 128
},
+ − 129
}
+ − 130
+ − 131
\definecolor{dkgreen}{rgb}{0,0.6,0}
+ − 132
\definecolor{gray}{rgb}{0.5,0.5,0.5}
+ − 133
\definecolor{mauve}{rgb}{0.58,0,0.82}
+ − 134
\lstdefinestyle{myScalastyle}{
+ − 135
frame=tb,
+ − 136
language=scala,
+ − 137
aboveskip=3mm,
+ − 138
belowskip=3mm,
+ − 139
showstringspaces=false,
+ − 140
columns=flexible,
+ − 141
basicstyle={\small\ttfamily},
+ − 142
numbers=none,
+ − 143
numberstyle=\tiny\color{gray},
+ − 144
keywordstyle=\color{blue},
+ − 145
commentstyle=\color{dkgreen},
+ − 146
stringstyle=\color{mauve},
+ − 147
frame=single,
+ − 148
breaklines=true,
+ − 149
breakatwhitespace=true,
+ − 150
tabsize=3,
+ − 151
}
+ − 152
+ − 153
468
+ − 154
%----------------------------------------------------------------------------------------
+ − 155
% MARGIN SETTINGS
+ − 156
%----------------------------------------------------------------------------------------
+ − 157
+ − 158
\geometry{
+ − 159
paper=a4paper, % Change to letterpaper for US letter
+ − 160
inner=2.5cm, % Inner margin
+ − 161
outer=3.8cm, % Outer margin
+ − 162
bindingoffset=.5cm, % Binding offset
+ − 163
top=1.5cm, % Top margin
+ − 164
bottom=1.5cm, % Bottom margin
+ − 165
%showframe, % Uncomment to show how the type block is set on the page
+ − 166
}
+ − 167
+ − 168
%----------------------------------------------------------------------------------------
+ − 169
% THESIS INFORMATION
+ − 170
%----------------------------------------------------------------------------------------
+ − 171
+ − 172
\thesistitle{POSIX Regular Expression Matching and Lexing} % Your thesis title, this is used in the title and abstract, print it elsewhere with \ttitle
+ − 173
\supervisor{Dr. Christian \textsc{Urban}} % Your supervisor's name, this is used in the title page, print it elsewhere with \supname
+ − 174
\examiner{} % Your examiner's name, this is not currently used anywhere in the template, print it elsewhere with \examname
+ − 175
\degree{Doctor of Philosophy} % Your degree name, this is used in the title page and abstract, print it elsewhere with \degreename
+ − 176
\author{Chengsong \textsc{Tan}} % Your name, this is used in the title page and abstract, print it elsewhere with \authorname
+ − 177
\addresses{} % Your address, this is not currently used anywhere in the template, print it elsewhere with \addressname
+ − 178
+ − 179
\subject{Computer Science} % Your subject area, this is not currently used anywhere in the template, print it elsewhere with \subjectname
+ − 180
\keywords{} % Keywords for your thesis, this is not currently used anywhere in the template, print it elsewhere with \keywordnames
+ − 181
\university{\href{https://www.kcl.ac.uk}{King's College London}} % Your university's name and URL, this is used in the title page and abstract, print it elsewhere with \univname
+ − 182
\department{\href{https://www.kcl.ac.uk/informatics}{Department or Informatics}} % Your department's name and URL, this is used in the title page and abstract, print it elsewhere with \deptname
471
+ − 183
\group{\href{https://www.kcl.ac.uk/research/ssy}{Software Systems Group}} % Your research group's name and URL, this is used in the title page, print it elsewhere with \groupname
468
+ − 184
\faculty{\href{http://faculty.university.com}{Chengsong Tan}} % Your faculty's name and URL, this is used in the title page and abstract, print it elsewhere with \facname
+ − 185
+ − 186
\AtBeginDocument{
+ − 187
\hypersetup{pdftitle=\ttitle} % Set the PDF's title to your title
+ − 188
\hypersetup{pdfauthor=\authorname} % Set the PDF's author to your name
+ − 189
\hypersetup{pdfkeywords=\keywordnames} % Set the PDF's keywords to your keywords
+ − 190
}
+ − 191
+ − 192
\begin{document}
+ − 193
+ − 194
\frontmatter % Use roman page numbering style (i, ii, iii, iv...) for the pre-content pages
+ − 195
+ − 196
\pagestyle{plain} % Default to the plain heading style until the thesis style is called for the body content
+ − 197
+ − 198
%----------------------------------------------------------------------------------------
+ − 199
% TITLE PAGE
+ − 200
%----------------------------------------------------------------------------------------
+ − 201
+ − 202
\begin{titlepage}
+ − 203
\begin{center}
+ − 204
+ − 205
\vspace*{.06\textheight}
+ − 206
{\scshape\LARGE \univname\par}\vspace{1.5cm} % University name
+ − 207
\textsc{\Large Doctoral Thesis}\\[0.5cm] % Thesis type
+ − 208
+ − 209
\HRule \\[0.4cm] % Horizontal line
+ − 210
{\huge \bfseries \ttitle\par}\vspace{0.4cm} % Thesis title
+ − 211
\HRule \\[1.5cm] % Horizontal line
+ − 212
+ − 213
\begin{minipage}[t]{0.4\textwidth}
+ − 214
\begin{flushleft} \large
+ − 215
\emph{Author:}\\
+ − 216
\href{https://kclpure.kcl.ac.uk/portal/en/persons/chengsong-tan(a63b381b-04bc-4cd7-beea-beb3e96cb153).html}{\authorname} % Author name - remove the \href bracket to remove the link
+ − 217
\end{flushleft}
+ − 218
\end{minipage}
+ − 219
+ − 220
+ − 221
\begin{minipage}[t]{0.4\textwidth}
+ − 222
\begin{flushright} \large
+ − 223
\emph{Supervisor:} \\
+ − 224
\href{https://www.kcl.ac.uk/people/christian-urban}{\supname} % Supervisor name - remove the \href bracket to remove the link
+ − 225
\end{flushright}
+ − 226
\end{minipage}\\[3cm]
+ − 227
+ − 228
\vfill
+ − 229
+ − 230
\large \textit{A thesis submitted in fulfillment of the requirements\\ for the degree of \degreename}\\[0.3cm] % University requirement text
+ − 231
\textit{in the}\\[0.4cm]
+ − 232
\groupname\\\deptname\\[2cm] % Research group name and department name
+ − 233
+ − 234
\vfill
+ − 235
+ − 236
{\large \today}\\[4cm] % Date
+ − 237
%\includegraphics{Logo} % University/department logo - uncomment to place it
+ − 238
+ − 239
\vfill
+ − 240
\end{center}
+ − 241
\end{titlepage}
+ − 242
+ − 243
%----------------------------------------------------------------------------------------
+ − 244
% DECLARATION PAGE
+ − 245
%----------------------------------------------------------------------------------------
+ − 246
+ − 247
\begin{declaration}
+ − 248
\addchaptertocentry{\authorshipname} % Add the declaration to the table of contents
+ − 249
\noindent I, \authorname, declare that this thesis titled, \enquote{\ttitle} and the work presented in it are my own. I confirm that:
+ − 250
+ − 251
\begin{itemize}
+ − 252
\item This work was done wholly or mainly while in candidature for a research degree at this University.
+ − 253
\item Where any part of this thesis has previously been submitted for a degree or any other qualification at this University or any other institution, this has been clearly stated.
+ − 254
\item Where I have consulted the published work of others, this is always clearly attributed.
+ − 255
\item Where I have quoted from the work of others, the source is always given. With the exception of such quotations, this thesis is entirely my own work.
+ − 256
\item I have acknowledged all main sources of help.
+ − 257
\item Where the thesis is based on work done by myself jointly with others, I have made clear exactly what was done by others and what I have contributed myself.\\
+ − 258
\end{itemize}
+ − 259
+ − 260
\noindent Signed:\\
+ − 261
\rule[0.5em]{25em}{0.5pt} % This prints a line for the signature
+ − 262
+ − 263
\noindent Date:\\
+ − 264
\rule[0.5em]{25em}{0.5pt} % This prints a line to write the date
+ − 265
\end{declaration}
+ − 266
+ − 267
\cleardoublepage
+ − 268
+ − 269
%----------------------------------------------------------------------------------------
+ − 270
% QUOTATION PAGE
+ − 271
%----------------------------------------------------------------------------------------
+ − 272
+ − 273
\vspace*{0.2\textheight}
+ − 274
+ − 275
\noindent\enquote{\itshape Thanks to my solid academic training, today I can write hundreds of words on virtually any topic without possessing a shred of information, which is how I got a good job in journalism.}\bigbreak
+ − 276
+ − 277
\hfill Dave Barry
+ − 278
+ − 279
%----------------------------------------------------------------------------------------
+ − 280
% ABSTRACT PAGE
+ − 281
%----------------------------------------------------------------------------------------
+ − 282
519
+ − 283
%\begin{abstract}
+ − 284
+ − 285
+ − 286
%\end{abstract}
+ − 287
+ − 288
527
+ − 289
\begin{abstract}
468
+ − 290
\addchaptertocentry{\abstractname} % Add the abstract to the table of contents
527
+ − 291
%\addchap{Abstract}
568
+ − 292
This thesis is about regular expressions and derivatives. It combines functional algorithms and their formal verification in the Isabelle/HOL theorem prover.
+ − 293
+ − 294
Theoretical results say that regular expression matching should be linear with respect to the input. Under a certain class of regular expressions and inputs though, practical implementations often suffer from non-linear or even exponential running time, allowing ReDoS (regular expression denial-of-service ) attacks. This makes levers with formalised properties such as correctness and time complexity appealing.
+ − 295
+ − 296
Sulzmann and Lu describe a lexing algorithm that calculates Brzozowski derivatives using bitcodes annotated to regular expressions. Their algorithm generates POSIX values which encode the information of how a regular expression matches a string—that is, which part of the string is matched by which part of the regular expression. This information is needed in the context of lexing in order to extract and to classify tokens. The purpose of the bitcodes is to generate POSIX values incrementally while derivatives are calculated. They also help with designing an “aggressive†simplification function that keeps the size of derivatives finitely bounded. Without simplification the size of some derivatives can grow arbitrarily big resulting in an extremely slow lexing algorithm.
468
+ − 297
568
+ − 298
In this thesis we describe a variant of Sulzmann and Lu’s algorithm: Our variant is a recursive functional program, whereas Sulzmann and Lu’s version involves a fixpoint construction. We (i) prove in Isabelle/HOL that our algorithm is correct and generates unique POSIX values; we also (ii) establish a finite bound for the size of the derivatives.
+ − 299
468
+ − 300
568
+ − 301
+ − 302
468
+ − 303
527
+ − 304
\end{abstract}
519
+ − 305
468
+ − 306
+ − 307
%----------------------------------------------------------------------------------------
+ − 308
% ACKNOWLEDGEMENTS
+ − 309
%----------------------------------------------------------------------------------------
+ − 310
+ − 311
\begin{acknowledgements}
+ − 312
\addchaptertocentry{\acknowledgementname} % Add the acknowledgements to the table of contents
+ − 313
The acknowledgments and the people to thank go here, don't forget to include your project advisor\ldots
+ − 314
\end{acknowledgements}
+ − 315
+ − 316
%----------------------------------------------------------------------------------------
+ − 317
% LIST OF CONTENTS/FIGURES/TABLES PAGES
+ − 318
%----------------------------------------------------------------------------------------
+ − 319
+ − 320
\tableofcontents % Prints the main table of contents
+ − 321
518
+ − 322
%\listoffigures % Prints the list of figures
468
+ − 323
518
+ − 324
%\listoftables % Prints the list of tables
468
+ − 325
+ − 326
%----------------------------------------------------------------------------------------
+ − 327
% ABBREVIATIONS
+ − 328
%----------------------------------------------------------------------------------------
+ − 329
+ − 330
\begin{abbreviations}{ll} % Include a list of abbreviations (a table of two columns)
+ − 331
500
+ − 332
+ − 333
\newtheorem{theorem}{Theorem}
+ − 334
\newtheorem{lemma}{Lemma}
528
+ − 335
\newtheorem{definition}{Definition}
542
+ − 336
\newtheorem{conjecture}{Conjecture}
554
+ − 337
\newtheorem{corollary}{Corollary}
+ − 338
\newtheorem{property}{Property}
+ − 339
\newtheorem{proposition}{Proposition}
505
+ − 340
%proof
+ − 341
500
+ − 342
503
+ − 343
\newcommand\sflat[1][]{\textit{sflat} \, #1}
+ − 344
\newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3}
+ − 345
\newcommand{\bderssimp}[2]{#1 \backslash_{bsimp} #2}
+ − 346
\newcommand{\rderssimp}[2]{#1 \backslash_{rsimp} #2}
+ − 347
\newcommand{\sflataux}[1]{\lbracket #1 \rbracket}
468
+ − 348
\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}%
+ − 349
\newcommand{\ZERO}{\mbox{\bf 0}}
+ − 350
\newcommand{\ONE}{\mbox{\bf 1}}
503
+ − 351
\newcommand{\AALTS}[2]{\XOR {\scriptstyle #1}\, #2}
+ − 352
468
+ − 353
\def\lexer{\mathit{lexer}}
+ − 354
\def\mkeps{\mathit{mkeps}}
+ − 355
500
+ − 356
\def\AZERO{\textit{AZERO}}
+ − 357
\def\AONE{\textit{AONE}}
+ − 358
\def\ACHAR{\textit{ACHAR}}
503
+ − 359
+ − 360
+ − 361
\def\ALTS{\textit{ALTS}}
500
+ − 362
\def\ASTAR{\textit{ASTAR}}
468
+ − 363
\def\DFA{\textit{DFA}}
+ − 364
\def\bmkeps{\textit{bmkeps}}
+ − 365
\def\retrieve{\textit{retrieve}}
+ − 366
\def\blexer{\textit{blexer}}
+ − 367
\def\flex{\textit{flex}}
+ − 368
\def\inj{\mathit{inj}}
+ − 369
\def\Empty{\mathit{Empty}}
+ − 370
\def\Left{\mathit{Left}}
+ − 371
\def\Right{\mathit{Right}}
+ − 372
\def\Stars{\mathit{Stars}}
+ − 373
\def\Char{\mathit{Char}}
+ − 374
\def\Seq{\mathit{Seq}}
+ − 375
\def\Der{\mathit{Der}}
+ − 376
\def\nullable{\mathit{nullable}}
+ − 377
\def\Z{\mathit{Z}}
+ − 378
\def\S{\mathit{S}}
+ − 379
\def\rup{r^\uparrow}
500
+ − 380
%\def\bderssimp{\mathit{bders}\_\mathit{simp}}
+ − 381
\def\distinctWith{\textit{distinctWith}}
+ − 382
503
+ − 383
\def\rexp{\mathbf{rexp}}
500
+ − 384
\def\simp{\mathit{simp}}
+ − 385
\def\simpALTs{\mathit{simp}\_\mathit{ALTs}}
+ − 386
\def\map{\mathit{map}}
+ − 387
\def\distinct{\mathit{distinct}}
+ − 388
\def\blexersimp{\mathit{blexer}\_\mathit{simp}}
+ − 389
\def\map{\textit{map}}
+ − 390
\def\vsuf{\textit{vsuf}}
+ − 391
\def\sflataux{\textit{sflat}\_\textit{aux}}
+ − 392
\def\rrexp{\textit{rrexp}}
+ − 393
\def\rsize{\textit{rsize}}
+ − 394
\def\asize{\textit{asize}}
+ − 395
\def\rerase{\textit{rerase}}
+ − 396
\def\erase{\textit{erase}}
+ − 397
\def\STAR{\textit{STAR}}
+ − 398
\def\flts{\textit{flts}}
468
+ − 399
503
+ − 400
+ − 401
468
+ − 402
\end{abbreviations}
+ − 403
+ − 404
+ − 405
+ − 406
%----------------------------------------------------------------------------------------
+ − 407
% SYMBOLS
+ − 408
%----------------------------------------------------------------------------------------
+ − 409
528
+ − 410
%\begin{symbols}{lll} % Include a list of Symbols (a three column table)
468
+ − 411
528
+ − 412
%$a$ & distance & \si{\meter} \\
+ − 413
%$P$ & power & \si{\watt} (\si{\joule\per\second}) \\
468
+ − 414
%Symbol & Name & Unit \\
+ − 415
528
+ − 416
%\addlinespace % Gap to separate the Roman symbols from the Greek
468
+ − 417
528
+ − 418
%$\omega$ & angular frequency & \si{\radian} \\
468
+ − 419
528
+ − 420
%\end{symbols}
468
+ − 421
+ − 422
%----------------------------------------------------------------------------------------
+ − 423
% DEDICATION
+ − 424
%----------------------------------------------------------------------------------------
+ − 425
+ − 426
\dedicatory{For/Dedicated to/To my\ldots}
+ − 427
+ − 428
%----------------------------------------------------------------------------------------
+ − 429
% THESIS CONTENT - CHAPTERS
+ − 430
%----------------------------------------------------------------------------------------
+ − 431
+ − 432
\mainmatter % Begin numeric (1,2,3...) page numbering
+ − 433
+ − 434
\pagestyle{thesis} % Return the page headers back to the "thesis" style
+ − 435
+ − 436
% Include the chapters of the thesis as separate files from the Chapters folder
+ − 437
% Uncomment the lines as you write the chapters
+ − 438
532
+ − 439
\include{Chapters/Introduction}
+ − 440
\include{Chapters/Inj}
+ − 441
\include{Chapters/Bitcoded1}
+ − 442
\include{Chapters/Bitcoded2}
+ − 443
\include{Chapters/Finite}
+ − 444
\include{Chapters/Cubic}
+ − 445
\include{Chapters/Further}
468
+ − 446
+ − 447
%----------------------------------------------------------------------------------------
+ − 448
% THESIS CONTENT - APPENDICES
+ − 449
%----------------------------------------------------------------------------------------
+ − 450
+ − 451
\appendix % Cue to tell LaTeX that the following "chapters" are Appendices
+ − 452
+ − 453
% Include the appendices of the thesis as separate files from the Appendices folder
+ − 454
% Uncomment the lines as you write the Appendices
+ − 455
+ − 456
\include{Appendices/AppendixA}
+ − 457
%\include{Appendices/AppendixB}
+ − 458
%\include{Appendices/AppendixC}
+ − 459
+ − 460
%----------------------------------------------------------------------------------------
+ − 461
% BIBLIOGRAPHY
+ − 462
%----------------------------------------------------------------------------------------
+ − 463
+ − 464
\printbibliography[heading=bibintoc]
+ − 465
+ − 466
%----------------------------------------------------------------------------------------
+ − 467
+ − 468
\end{document}