DocumentCode :
2176831
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.
fYear :
1975
fDate :
13-15 Oct. 1975
Firstpage :
122
Lastpage :
127
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Foundations of Computer Science, 1975., 16th Annual Symposium on
Conference_Location :
USA
ISSN :
0272-5428
Type :
conf
DOI :
10.1109/SFCS.1975.12
Filename :
4567868
Link To Document :
بازگشت