42 \usepackage[T1]{fontenc} % Output font encoding for international characters |
42 \usepackage[T1]{fontenc} % Output font encoding for international characters |
43 |
43 |
44 \usepackage{mathpazo} % Use the Palatino font by default |
44 \usepackage{mathpazo} % Use the Palatino font by default |
45 \usepackage{hyperref} |
45 \usepackage{hyperref} |
46 \usepackage[backend=bibtex,style=authoryear,natbib=true]{biblatex} % Use the bibtex backend with the authoryear citation style (which resembles APA) |
46 \usepackage[backend=bibtex,style=authoryear,natbib=true]{biblatex} % Use the bibtex backend with the authoryear citation style (which resembles APA) |
|
47 \usepackage{stmaryrd} |
47 |
48 |
48 \addbibresource{example.bib} % The filename of the bibliography |
49 \addbibresource{example.bib} % The filename of the bibliography |
49 |
50 |
50 \usepackage[autostyle=true]{csquotes} % Required to generate language-dependent quotes in the bibliography |
51 \usepackage[autostyle=true]{csquotes} % Required to generate language-dependent quotes in the bibliography |
51 |
52 |
251 \begin{abbreviations}{ll} % Include a list of abbreviations (a table of two columns) |
252 \begin{abbreviations}{ll} % Include a list of abbreviations (a table of two columns) |
252 |
253 |
253 \textbf{LAH} & \textbf{L}ist \textbf{A}bbreviations \textbf{H}ere\\ |
254 \textbf{LAH} & \textbf{L}ist \textbf{A}bbreviations \textbf{H}ere\\ |
254 \textbf{WSF} & \textbf{W}hat (it) \textbf{S}tands \textbf{F}or\\ |
255 \textbf{WSF} & \textbf{W}hat (it) \textbf{S}tands \textbf{F}or\\ |
255 |
256 |
|
257 |
|
258 \newtheorem{theorem}{Theorem} |
|
259 \newtheorem{lemma}{Lemma} |
|
260 |
|
261 |
|
262 |
|
263 \newcommand{\bderssimp}[2]{{#1} \backslash_{bsimp} {#2}} |
256 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
264 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
257 \newcommand{\ZERO}{\mbox{\bf 0}} |
265 \newcommand{\ZERO}{\mbox{\bf 0}} |
258 \newcommand{\ONE}{\mbox{\bf 1}} |
266 \newcommand{\ONE}{\mbox{\bf 1}} |
259 \def\lexer{\mathit{lexer}} |
267 \def\lexer{\mathit{lexer}} |
260 \def\mkeps{\mathit{mkeps}} |
268 \def\mkeps{\mathit{mkeps}} |
261 |
269 |
|
270 \def\AZERO{\textit{AZERO}} |
|
271 \def\AONE{\textit{AONE}} |
|
272 \def\ACHAR{\textit{ACHAR}} |
|
273 \def\ASEQ{\textit{ASEQ}} |
|
274 \def\AALTS{\textit{AALTS}} |
|
275 \def\ASTAR{\textit{ASTAR}} |
262 \def\DFA{\textit{DFA}} |
276 \def\DFA{\textit{DFA}} |
263 \def\bmkeps{\textit{bmkeps}} |
277 \def\bmkeps{\textit{bmkeps}} |
264 \def\retrieve{\textit{retrieve}} |
278 \def\retrieve{\textit{retrieve}} |
265 \def\blexer{\textit{blexer}} |
279 \def\blexer{\textit{blexer}} |
266 \def\flex{\textit{flex}} |
280 \def\flex{\textit{flex}} |
274 \def\Der{\mathit{Der}} |
288 \def\Der{\mathit{Der}} |
275 \def\nullable{\mathit{nullable}} |
289 \def\nullable{\mathit{nullable}} |
276 \def\Z{\mathit{Z}} |
290 \def\Z{\mathit{Z}} |
277 \def\S{\mathit{S}} |
291 \def\S{\mathit{S}} |
278 \def\rup{r^\uparrow} |
292 \def\rup{r^\uparrow} |
|
293 %\def\bderssimp{\mathit{bders}\_\mathit{simp}} |
|
294 \def\distinctWith{\textit{distinctWith}} |
|
295 |
|
296 \def\simp{\mathit{simp}} |
|
297 \def\simpALTs{\mathit{simp}\_\mathit{ALTs}} |
|
298 \def\map{\mathit{map}} |
|
299 \def\distinct{\mathit{distinct}} |
|
300 \def\blexersimp{\mathit{blexer}\_\mathit{simp}} |
|
301 \def\map{\textit{map}} |
|
302 \def\vsuf{\textit{vsuf}} |
|
303 \def\sflataux{\textit{sflat}\_\textit{aux}} |
|
304 \def\rrexp{\textit{rrexp}} |
|
305 \def\rsize{\textit{rsize}} |
|
306 \def\asize{\textit{asize}} |
|
307 \def\rerase{\textit{rerase}} |
|
308 \def\erase{\textit{erase}} |
|
309 \def\STAR{\textit{STAR}} |
|
310 \def\flts{\textit{flts}} |
279 |
311 |
280 \end{abbreviations} |
312 \end{abbreviations} |
281 |
313 |
282 |
314 |
283 |
315 |