19 %\newcommand{\sflataux}[1]{\textit{sflat}\_\textit{aux} \, #1} |
19 %\newcommand{\sflataux}[1]{\textit{sflat}\_\textit{aux} \, #1} |
20 \newcommand\sflat[1]{\llparenthesis #1 \rrparenthesis } |
20 \newcommand\sflat[1]{\llparenthesis #1 \rrparenthesis } |
21 \newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3} |
21 \newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3} |
22 \newcommand{\bderssimp}[2]{#1 \backslash_{bsimps} #2} |
22 \newcommand{\bderssimp}[2]{#1 \backslash_{bsimps} #2} |
23 \newcommand{\rderssimp}[2]{#1 \backslash_{rsimp} #2} |
23 \newcommand{\rderssimp}[2]{#1 \backslash_{rsimp} #2} |
|
24 \def\rders{\textit{rders}} |
24 \newcommand{\bders}[2]{#1 \backslash #2} |
25 \newcommand{\bders}[2]{#1 \backslash #2} |
25 \newcommand{\bsimp}[1]{\textit{bsimp}(#1)} |
26 \newcommand{\bsimp}[1]{\textit{bsimp}(#1)} |
26 \newcommand{\rsimp}[1]{\textit{rsimp}\; #1} |
27 \newcommand{\rsimp}[1]{\textit{rsimp}\; #1} |
27 \newcommand{\sflataux}[1]{\llparenthesis #1 \rrparenthesis'} |
28 \newcommand{\sflataux}[1]{\llparenthesis #1 \rrparenthesis'} |
28 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
29 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
50 \def\code{\textit{code}} |
51 \def\code{\textit{code}} |
51 \def\decode{\textit{decode}} |
52 \def\decode{\textit{decode}} |
52 \def\internalise{\textit{internalise}} |
53 \def\internalise{\textit{internalise}} |
53 \def\lexer{\mathit{lexer}} |
54 \def\lexer{\mathit{lexer}} |
54 \def\mkeps{\textit{mkeps}} |
55 \def\mkeps{\textit{mkeps}} |
55 \newcommand{\rder}[2]{#2 \backslash #1} |
56 \newcommand{\rder}[2]{#2 \backslash_r #1} |
56 |
57 |
57 \def\nonnested{\textit{nonnested}} |
58 \def\nonnested{\textit{nonnested}} |
58 \def\AZERO{\textit{AZERO}} |
59 \def\AZERO{\textit{AZERO}} |
59 \def\AONE{\textit{AONE}} |
60 \def\AONE{\textit{AONE}} |
60 \def\ACHAR{\textit{ACHAR}} |
61 \def\ACHAR{\textit{ACHAR}} |
61 |
62 |
|
63 \def\scfrewrites{\stackrel{*}{\rightsquigarrow_{scf}}} |
62 \def\frewrite{\rightsquigarrow_f} |
64 \def\frewrite{\rightsquigarrow_f} |
63 \def\hrewrite{\rightsquigarrow_h} |
65 \def\hrewrite{\rightsquigarrow_h} |
64 \def\grewrite{\rightsquigarrow_g} |
66 \def\grewrite{\rightsquigarrow_g} |
65 \def\frewrites{\stackrel{*}{\rightsquigarrow_f}} |
67 \def\frewrites{\stackrel{*}{\rightsquigarrow_f}} |
66 \def\hrewrites{\stackrel{*}{\rightsquigarrow_h}} |
68 \def\hrewrites{\stackrel{*}{\rightsquigarrow_h}} |