307d5c5afcbb00aa.tex
1: \begin{abstract}
2: This paper has the goals ($1$) of unifying top-down parsing with shift-reduce parsing to yield a single simple and consistent framework, and ($2$) of producing provably correct parsing methods, deterministic as well as tabular ones, for extended context-free grammars (\emph{EBNF}) represented as state-transition networks. Departing from the traditional way of presenting as independent algorithms the deterministic bottom-up $\emph{LR} \, (1)$, the top-down $\emph{LL} \, (1)$ and the general tabular (Earley) parsers, we unify them in a coherent minimalist framework. We present a simple general construction method for \emph{EBNF} $\emph{ELR} \, (1)$ parsers, where the new category of convergence conflicts is added to the classical shift-reduce and reduce-reduce conflicts; we prove its correctness and show two implementations by deterministic push-down machines and by vector-stack machines, the latter to be also used for Earley parsers. Then the Beatty's theoretical characterization of $\emph{LL} \, (1)$ grammars is adapted to derive the extended $\emph{ELL} \, (1)$ parsing method, first by minimizing the $\emph{ELR} \, (1)$ parser and then by simplifying its state information. Through using the same notations in the $\emph{ELR} \, (1)$ case, the extended Earley parser is obtained. Since all the parsers operate on compatible representations, it is feasible to combine them into mixed mode algorithms.
3: \end{abstract}