16 %\newcommand{\sflataux}[1]{\textit{sflat}\_\textit{aux} \, #1} |
16 %\newcommand{\sflataux}[1]{\textit{sflat}\_\textit{aux} \, #1} |
17 \newcommand\sflat[1]{\llparenthesis #1 \rrparenthesis } |
17 \newcommand\sflat[1]{\llparenthesis #1 \rrparenthesis } |
18 \newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3} |
18 \newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3} |
19 \newcommand{\bderssimp}[2]{#1 \backslash_{bsimp} #2} |
19 \newcommand{\bderssimp}[2]{#1 \backslash_{bsimp} #2} |
20 \newcommand{\rderssimp}[2]{#1 \backslash_{rsimp} #2} |
20 \newcommand{\rderssimp}[2]{#1 \backslash_{rsimp} #2} |
|
21 \newcommand{\bders}[2]{#1 \backslash #2} |
21 \newcommand{\bsimp}[1]{\textit{bsimp}(#1)} |
22 \newcommand{\bsimp}[1]{\textit{bsimp}(#1)} |
22 \newcommand{\rsimp}[1]{\textit{rsimp}(#1)} |
23 \newcommand{\rsimp}[1]{\textit{rsimp}(#1)} |
23 \newcommand{\sflataux}[1]{\llparenthesis #1 \rrparenthesis'} |
24 \newcommand{\sflataux}[1]{\llparenthesis #1 \rrparenthesis'} |
24 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
25 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
25 \newcommand{\ZERO}{\mbox{\bf 0}} |
26 \newcommand{\ZERO}{\mbox{\bf 0}} |
26 \newcommand{\ONE}{\mbox{\bf 1}} |
27 \newcommand{\ONE}{\mbox{\bf 1}} |
27 \newcommand{\AALTS}[2]{\oplus {\scriptstyle #1}\, #2} |
28 \newcommand{\AALTS}[2]{\oplus {\scriptstyle #1}\, #2} |
28 \newcommand{\rdistinct}[2]{\textit{distinct} \; \textit{#1} \; #2} |
29 \newcommand{\rdistinct}[2]{\textit{distinct} \; \textit{#1} \; #2} |
29 \newcommand\hflat[1]{\llparenthesis #1 \rrparenthesis_*} |
30 \newcommand\hflat[1]{\llparenthesis #1 \rrparenthesis_*} |
30 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'} |
31 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'} |
31 \newcommand\createdByStar[1]{\textit{\textit{createdByStar}(#1)}} |
32 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)} |
32 |
33 |
33 \newcommand\myequiv{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny equiv}}}{=}}} |
34 \newcommand\myequiv{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny equiv}}}{=}}} |
34 |
35 |
35 \def\lexer{\mathit{lexer}} |
36 \def\lexer{\mathit{lexer}} |
36 \def\mkeps{\mathit{mkeps}} |
37 \def\mkeps{\mathit{mkeps}} |