273 \vspace*{0.2\textheight}

   274 %\vspace*{0.2\textheight}

   274 

   275 %

   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 %\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 %

   277 \hfill Dave Barry

   278 %\hfill Dave Barry

   349 \newcommand\sflat[1][]{\textit{sflat} \, #1}

   349 %\newcommand\sflat[1][]{\textit{sflat} \, #1}

   350 \newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3}

   350 %\newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3}

   351 \newcommand{\bderssimp}[2]{#1 \backslash_{bsimp} #2}

   351 %\newcommand{\bderssimp}[2]{#1 \backslash_{bsimp} #2}

   352 \newcommand{\rderssimp}[2]{#1 \backslash_{rsimp} #2}

   352 %\newcommand{\rderssimp}[2]{#1 \backslash_{rsimp} #2}

   353 \newcommand{\sflataux}[1]{\lbracket #1 \rbracket}

   353 %\newcommand{\sflataux}[1]{\lbracket #1 \rbracket}

   354 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}%

   354 %\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}%

   355 \newcommand{\ZERO}{\mbox{\bf 0}}

   355 %\newcommand{\ZERO}{\mbox{\bf 0}}

   356 \newcommand{\ONE}{\mbox{\bf 1}}

   356 %\newcommand{\ONE}{\mbox{\bf 1}}

   357 \newcommand{\AALTS}[2]{\XOR {\scriptstyle #1}\, #2}

   357 %\newcommand{\AALTS}[2]{\XOR {\scriptstyle #1}\, #2}

   358 

   358 %

   359 \def\lexer{\mathit{lexer}}

   359 %\def\lexer{\mathit{lexer}}

   360 \def\mkeps{\mathit{mkeps}}

   360 %\def\mkeps{\mathit{mkeps}}

   361 

   361 %

   362 \def\AZERO{\textit{AZERO}}

   362 %\def\AZERO{\textit{AZERO}}

   363 \def\AONE{\textit{AONE}}

   363 %\def\AONE{\textit{AONE}}

   364 \def\ACHAR{\textit{ACHAR}}

   364 %\def\ACHAR{\textit{ACHAR}}

   365 

   365 %

   366 

   366 %

   367 \def\ALTS{\textit{ALTS}}

   367 %\def\ALTS{\textit{ALTS}}

   368 \def\ASTAR{\textit{ASTAR}}

   368 %\def\ASTAR{\textit{ASTAR}}

   369 \def\DFA{\textit{DFA}}

   369 %\def\DFA{\textit{DFA}}

   370 \def\bmkeps{\textit{bmkeps}}

   370 %\def\bmkeps{\textit{bmkeps}}

   371 \def\retrieve{\textit{retrieve}}

   371 %\def\retrieve{\textit{retrieve}}

   372 \def\blexer{\textit{blexer}}

   372 %\def\blexer{\textit{blexer}}

   373 \def\flex{\textit{flex}}

   373 %\def\flex{\textit{flex}}

   374 \def\inj{\mathit{inj}}

   374 %\def\inj{\mathit{inj}}

   375 \def\Empty{\mathit{Empty}}

   375 %\def\Empty{\mathit{Empty}}

   376 \def\Left{\mathit{Left}}

   376 %\def\Left{\mathit{Left}}

   377 \def\Right{\mathit{Right}}

   377 %\def\Right{\mathit{Right}}

   378 \def\Stars{\mathit{Stars}}

   378 %\def\Stars{\mathit{Stars}}

   379 \def\Char{\mathit{Char}}

   379 %\def\Char{\mathit{Char}}

   380 \def\Seq{\mathit{Seq}}

   380 %\def\Seq{\mathit{Seq}}

   381 \def\Der{\mathit{Der}}

   381 %\def\Der{\mathit{Der}}

   382 \def\nullable{\mathit{nullable}}

   382 %\def\nullable{\mathit{nullable}}

   383 \def\Z{\mathit{Z}}

   383 %\def\Z{\mathit{Z}}

   384 \def\S{\mathit{S}}

   384 %\def\S{\mathit{S}}

   385 \def\rup{r^\uparrow}

   385 %\def\rup{r^\uparrow}

   386 %\def\bderssimp{\mathit{bders}\_\mathit{simp}}

   386 %%\def\bderssimp{\mathit{bders}\_\mathit{simp}}

   387 \def\distinctWith{\textit{distinctWith}}

   387 %\def\distinctWith{\textit{distinctWith}}

   388 

   388 %

   389 \def\rexp{\mathbf{rexp}}

   389 %\def\rexp{\mathbf{rexp}}

   390 \def\simp{\mathit{simp}}

   390 %\def\simp{\mathit{simp}}

   391 \def\simpALTs{\mathit{simp}\_\mathit{ALTs}}

   391 %\def\simpALTs{\mathit{simp}\_\mathit{ALTs}}

   392 \def\map{\mathit{map}}

   392 %\def\map{\mathit{map}}

   393 \def\distinct{\mathit{distinct}}

   393 %\def\distinct{\mathit{distinct}}

   394 \def\blexersimp{\mathit{blexer}\_\mathit{simp}}

   394 %\def\blexersimp{\mathit{blexer}\_\mathit{simp}}

   395 \def\map{\textit{map}}

   395 %\def\map{\textit{map}}

   396 \def\vsuf{\textit{vsuf}}

   396 %\def\vsuf{\textit{vsuf}}

   397 \def\sflataux{\textit{sflat}\_\textit{aux}}

   397 %\def\sflataux{\textit{sflat}\_\textit{aux}}

   398 \def\rrexp{\textit{rrexp}}

   398 %\def\rrexp{\textit{rrexp}}

   399 \def\rsize{\textit{rsize}}

   399 %\def\rsize{\textit{rsize}}

   400 \def\asize{\textit{asize}}

   400 %\def\asize{\textit{asize}}

   401 \def\rerase{\textit{rerase}}

   401 %\def\rerase{\textit{rerase}}

   402 \def\erase{\textit{erase}}

   402 %\def\erase{\textit{erase}}

   403 \def\STAR{\textit{STAR}}

   403 %\def\STAR{\textit{STAR}}

   404 \def\flts{\textit{flts}}

   404 %\def\flts{\textit{flts}}

   405 

   405 %

   406 

   406 

   407 

   407 

   408 \end{abbreviations}