54 \usepackage{graphic}

    54 \usepackage{graphic}

    55 \usepackage{data}

    55 \usepackage{data}

    56 

    56 

    57 %\usepackage{algorithm}

    57 %\usepackage{algorithm}

    58 \usepackage{amsmath}

    58 \usepackage{amsmath}

    59 \usepackage[noend]{algpseudocode}

    60 \usepackage[noend]{algpseudocode}

    60 \usepackage{enumitem}

    61 \usepackage{enumitem}

    61 \usepackage{nccmath}

    62 \usepackage{nccmath}

    62 \usepackage{tikz-cd}

    63 \usepackage{tikz-cd}

    63 \usepackage{tikz}

    64 \usepackage{tikz}

   256 

   257 

   257 

   258 

   258 \newtheorem{theorem}{Theorem}

   259 \newtheorem{theorem}{Theorem}

   259 \newtheorem{lemma}{Lemma}

   260 \newtheorem{lemma}{Lemma}

   260 

   261 

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

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

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

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

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

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

   267 \def\lexer{\mathit{lexer}}

   272 \def\lexer{\mathit{lexer}}

   268 \def\mkeps{\mathit{mkeps}}

   273 \def\mkeps{\mathit{mkeps}}

   269 

   274 

   270 \def\AZERO{\textit{AZERO}}

   275 \def\AZERO{\textit{AZERO}}

   271 \def\AONE{\textit{AONE}}

   276 \def\AONE{\textit{AONE}}

   272 \def\ACHAR{\textit{ACHAR}}

   277 \def\ACHAR{\textit{ACHAR}}

   275 \def\ASTAR{\textit{ASTAR}}

   281 \def\ASTAR{\textit{ASTAR}}

   276 \def\DFA{\textit{DFA}}

   282 \def\DFA{\textit{DFA}}

   277 \def\bmkeps{\textit{bmkeps}}

   283 \def\bmkeps{\textit{bmkeps}}

   278 \def\retrieve{\textit{retrieve}}

   284 \def\retrieve{\textit{retrieve}}

   279 \def\blexer{\textit{blexer}}

   285 \def\blexer{\textit{blexer}}

   291 \def\S{\mathit{S}}

   297 \def\S{\mathit{S}}

   292 \def\rup{r^\uparrow}

   298 \def\rup{r^\uparrow}

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

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

   294 \def\distinctWith{\textit{distinctWith}}

   300 \def\distinctWith{\textit{distinctWith}}

   295 

   301 

   296 \def\simp{\mathit{simp}}

   303 \def\simp{\mathit{simp}}

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

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

   298 \def\map{\mathit{map}}

   305 \def\map{\mathit{map}}

   299 \def\distinct{\mathit{distinct}}

   306 \def\distinct{\mathit{distinct}}

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

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

   307 \def\rerase{\textit{rerase}}

   314 \def\rerase{\textit{rerase}}

   308 \def\erase{\textit{erase}}

   315 \def\erase{\textit{erase}}

   309 \def\STAR{\textit{STAR}}

   316 \def\STAR{\textit{STAR}}

   310 \def\flts{\textit{flts}}

   317 \def\flts{\textit{flts}}

   311 

   318 

   312 \end{abbreviations}

   321 \end{abbreviations}

   313 

   322 

   314 

   323 

   315 

   324 

   316 %----------------------------------------------------------------------------------------

   325 %----------------------------------------------------------------------------------------