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 \newcommand{\bders}[2]{#1 \backslash #2} |
24 \newcommand{\bders}[2]{#1 \backslash #2} |
25 \newcommand{\bsimp}[1]{\textit{bsimp}(#1)} |
25 \newcommand{\bsimp}[1]{\textit{bsimp}(#1)} |
26 \newcommand{\rsimp}[1]{\textit{rsimp}(#1)} |
26 \newcommand{\rsimp}[1]{\textit{rsimp}\; #1} |
27 \newcommand{\sflataux}[1]{\llparenthesis #1 \rrparenthesis'} |
27 \newcommand{\sflataux}[1]{\llparenthesis #1 \rrparenthesis'} |
28 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
28 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
29 \newcommand{\denote}{\stackrel{\mbox{\scriptsize denote}}{=}}% |
29 \newcommand{\denote}{\stackrel{\mbox{\scriptsize denote}}{=}}% |
30 \newcommand{\ZERO}{\mbox{\bf 0}} |
30 \newcommand{\ZERO}{\mbox{\bf 0}} |
31 \newcommand{\ONE}{\mbox{\bf 1}} |
31 \newcommand{\ONE}{\mbox{\bf 1}} |
35 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'} |
35 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'} |
36 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)} |
36 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)} |
37 |
37 |
38 \newcommand\myequiv{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny equiv}}}{=}}} |
38 \newcommand\myequiv{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny equiv}}}{=}}} |
39 |
39 |
|
40 \def\sequal{\stackrel{\mbox{\scriptsize rsimp}}{=}} |
|
41 \def\rsimpalts{\textit{rsimp}_{ALTS}} |
|
42 \def\good{\textit{good}} |
|
43 \def\btrue{\textit{true}} |
|
44 \def\bfalse{\textit{false}} |
40 \def\bnullable{\textit{bnullable}} |
45 \def\bnullable{\textit{bnullable}} |
41 \def\bnullables{\textit{bnullables}} |
46 \def\bnullables{\textit{bnullables}} |
42 \def\Some{\textit{Some}} |
47 \def\Some{\textit{Some}} |
43 \def\None{\textit{None}} |
48 \def\None{\textit{None}} |
44 \def\code{\textit{code}} |
49 \def\code{\textit{code}} |
46 \def\internalise{\textit{internalise}} |
51 \def\internalise{\textit{internalise}} |
47 \def\lexer{\mathit{lexer}} |
52 \def\lexer{\mathit{lexer}} |
48 \def\mkeps{\textit{mkeps}} |
53 \def\mkeps{\textit{mkeps}} |
49 \newcommand{\rder}[2]{#2 \backslash #1} |
54 \newcommand{\rder}[2]{#2 \backslash #1} |
50 |
55 |
|
56 \def\nonnested{\textit{nonnested}} |
51 \def\AZERO{\textit{AZERO}} |
57 \def\AZERO{\textit{AZERO}} |
52 \def\AONE{\textit{AONE}} |
58 \def\AONE{\textit{AONE}} |
53 \def\ACHAR{\textit{ACHAR}} |
59 \def\ACHAR{\textit{ACHAR}} |
54 |
60 |
|
61 \def\hrewrite{\stackrel[h]{\rightsquigarrow}} |
|
62 \def\hrewrites{\stackrel[h]{*}{\rightsquigarrow} } |
|
63 \def\grewrite{\stackrel[g]{\rightsquigarrow}} |
|
64 \def\grewrites{\stackrel[g]{*}{\rightsquigarrow}} |
55 \def\fuse{\textit{fuse}} |
65 \def\fuse{\textit{fuse}} |
56 \def\bder{\textit{bder}} |
66 \def\bder{\textit{bder}} |
57 \def\der{\textit{der}} |
67 \def\der{\textit{der}} |
58 \def\POSIX{\textit{POSIX}} |
68 \def\POSIX{\textit{POSIX}} |
59 \def\ALTS{\textit{ALTS}} |
69 \def\ALTS{\textit{ALTS}} |
94 \def\blexersimp{\mathit{blexer}\_\mathit{simp}} |
104 \def\blexersimp{\mathit{blexer}\_\mathit{simp}} |
95 \def\map{\textit{map}} |
105 \def\map{\textit{map}} |
96 %\def\vsuf{\textit{vsuf}} |
106 %\def\vsuf{\textit{vsuf}} |
97 %\def\sflataux{\textit{sflat}\_\textit{aux}} |
107 %\def\sflataux{\textit{sflat}\_\textit{aux}} |
98 \def\rrexp{\textit{rrexp}} |
108 \def\rrexp{\textit{rrexp}} |
99 \newcommand\rnullable[1]{\textit{rnullable}(#1)} |
109 \newcommand\rnullable[1]{\textit{rnullable} \; #1 } |
100 \newcommand\rsize[1]{\llbracket #1 \rrbracket_r} |
110 \newcommand\rsize[1]{\llbracket #1 \rrbracket_r} |
101 \newcommand\asize[1]{\llbracket #1 \rrbracket} |
111 \newcommand\asize[1]{\llbracket #1 \rrbracket} |
102 \newcommand\rerase[1]{ (#1)_{\downarrow_r}} |
112 \newcommand\rerase[1]{ (#1)_{\downarrow_r}} |
103 |
113 |
104 \newcommand\ChristianComment[1]{\textcolor{blue}{#1}\\} |
114 \newcommand\ChristianComment[1]{\textcolor{blue}{#1}\\} |