Abstract
A large subclass of LR(k) grammars, called predictive LR(k) or PLR(k) grammars, is considered in terms of the compilation activities a PLR(k) parser can drive. These properties are measured by defining for PLR(k) grammars a class of syntax-directed translations definable by a deterministic pushdown transducer.
Similar content being viewed by others
References
A. V. Aho and J. D. Ullman,The Theory of Parsing, Translation, and Compiling, Vol. I: Parsing, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1972.
A. V. Aho and J. D. Ullman,The Theory of Parsing, Translation, and Compiling, Vol. II: Compiling, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1973.
M. Hammer,A new grammatical transformation into deterministic top-down form, Project MAC Technical Report TR-119, Massachusetts Institute of Technology, Mass., 1974.
M. Hammer,A new grammatical transformation into LL(k) form, in:Conference Proceedings of the Sixth Annual ACM Symposium on Theory of Computing, pp. 266–275, 1974.
P. M. Lewis II and R. E. Stearns,Syntax directed transduction, J. Assoc. Comput. Mach.15 (1968), 464–488.
A. Nijholt,Context-Free Grammars: Covers, Normal Forms, and Parsing, Lecture Notes in Computer Science93, Springer-Verlag, Berlin-Heidelberg-New York, 1980.
A. Nijholt,Parsing strategies: A concise survey, in:Mathematical Foundations of Computer Science 1981 (edited by J. Gruska and M. Chytil), pp. 103–120, Lecture Notes in Computer Science118, Springer-Verlag, Berlin-Heidelberg-New York, 1981.
D. J. Rosenkrantz and P. M. Lewis II,Deterministic left corner parsing, in:IEEE Conference Record of the 11th Annual Symposium on Switching and Automata Theory, pp. 139–152, 1970.
E. Soisalon-Soininen and E. Ukkonen,A method for transforming grammars into LL(k) form, Acta Informatica19(1979), 339–369.
Author information
Authors and Affiliations
Additional information
This work was supported by the Academy of Finland.
Rights and permissions
About this article
Cite this article
Soisalon-Soininen, E. Translations on a subclass of LR(k) grammars. BIT 22, 303–312 (1982). https://doi.org/10.1007/BF01934444
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01934444
Categories and Subject Descriptors
- F.4.2 [Mathematical Logic and Formal Languages]: Grammars and Other Rewriting Systems — parsing
- D.3.4 [Programming Languages]: Processors — parsing, compilers