Title :
Economy of description by parsers, DPDA´s, and PDA´s
Author :
Geller, Matthew M. ; Hunt, Harry B., III ; Szymanski, Thomas G. ; Ullman, Jeffrey D.
Abstract :
It is shown that there is a sequence of languages E1, E2,... such that every correct prefix parser (one which detects errors at the earliest possible moment, e.g., LR or LL parsers) for En has size 2cn, yet a deterministic PDA recognizing En exists and has size O(n2). There is another easily described sequence of languages N1,N2,... for which Nn has a nondeterministic PDA of size O(n2) but no deterministic PDA of size less than 2cn. It is shown moreover, that this latter exponential gap can be made arbitrarily large for different sequences of languages.
Keywords :
Automata; Contracts; Economics; Error correction; Polynomials; Production;
Conference_Titel :
Foundations of Computer Science, 1975., 16th Annual Symposium on
Conference_Location :
USA
DOI :
10.1109/SFCS.1975.12