\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 }