×

On the complexities of linear LL(1) and LR(1) grammars. (English) Zbl 0794.68085

Ésik, Zoltán (ed.), Fundamentals of computation theory. 9th international conference, FCT ’93, Szeged, Hungary, August 23-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 710, 299-308 (1993).
Summary: Several notions of deterministic linear languages are considered and compared with respect to their complexities and to the families of formal languages they generate. We exhibit close relationships between simple linear languages and the deterministic linear languages both according to Nasu and Honda and to Ibarra, Jiang, and Ravikumar. Deterministic linear languages turn out to be special cases of languages generated by linear grammars restricted to LL(1) conditions, which have a membership problem solvable in \({\mathcal N} {\mathcal C}^ 1\). In contrast to that, deterministic linear languages defined via automata models turn out to have a DSPACE\((\log n)\)-complete membership problem. Moreover, they coincide with languages generated by linear grammars subject to LR(1) conditions.
For the entire collection see [Zbl 0875.00104].

MSC:

68Q45 Formal languages and automata
68Q25 Analysis of algorithms and problem complexity
68Q42 Grammars and rewriting systems