1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
\newcommand{\Kaya}{\textsc{Kaya}}
\newcommand{\TODO}[1]{[\textbf{TODO:} #1]}
\newcommand{\SL}{$\backslash$}
\newcommand{\CD}{\texttt}
\newcommand{\MC}{\textsf}
\newcommand{\demph}{\textbf}
\newcommand{\remph}{\emph}
\newcommand{\oneplus}[1]{#1$^+$}
\newcommand{\zeroplus}[1]{#1$^*$}
\newcommand{\maybe}[1]{#1$^?$}
\newcommand{\FIG}[3]{\begin{figure}[h]#1\caption{#2}\label{#3}\end{figure}}
\newcommand{\FFIG}[3]{\begin{figure}[h]\begin{center}\fbox{#1}\end{center}\caption{#2}\label{#3}\end{figure}}
\newcommand{\BNF}[1]
{
\medskip
\begin{tabular}{rcl}
#1
\end{tabular}
\medskip
}
\newcommand{\Rule}[2]
{ #1 & ::= & #2 \\ }
\newcommand{\Or}[1]
{ & $\mid$ & #1 \\ }
\newcommand{\fragment}[1]{
\medskip
\framebox[12cm][l]{
\begin{minipage}{11cm}
#1
\end{minipage}
}
\medskip
}
|
