Skip to main content

Negative results on the size of deterministic right parsers

  • Communications
  • Conference paper
  • First Online:
  • 117 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 118))

Abstract

The problem of the existence of polynomial size deterministic right parsers for classes of context-free grammars is studied. The answer is shown to be negative for the class of LR(1) grammars. A similar problem concerning parsers which obey the correct prefix property is also investigated. Even strict deterministic grammars may require exponential parser size in this case.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aho, A.V., and Ullman, J.D., The Theory of Parsing, Translation, and Compiling, Vols. I,II, Prentice-Hall, Englewood Cliffs, N.J., 1972/3.

    Google Scholar 

  2. Geller, M.M., and Harrison, M.A., Characteristic parsing: A framework for producing compact deterministic parsers, Parts I,II, Journal of Computer and System Sciences 14 (1977) 265–342.

    Google Scholar 

  3. Geller, M.M., Hunt III, H.B., Szymanski, T.G., and Ullman, J.D., Economy of description by parsers, DPDA's, and PDA's, Theoretical Computer Science 4 (1977) 143–153.

    Google Scholar 

  4. Ginsburg, S., and Greibach, S.A., Deterministic context-free languages, Information and Control 9 (1966) 602–648.

    Google Scholar 

  5. Harrison, M.A., Introduction to Formal Language Theory, Addison-Wesley, Reading, Mass., 1978.

    Google Scholar 

  6. Harrison, M.A., and Havel, I.M., Strict deterministic grammars, Journal of Computer and System Sciences 7 (1973) 237–277.

    Google Scholar 

  7. Nijholt, A., context-free Grammars: Covers, Normal Forms, and Parsing, Lecture Notes in Computer Science 93, Springer, Berlin, 1980.

    Google Scholar 

  8. Pittl, J., On LLP(k) parsers, to appear in Journal of Computer and System Sciences.

    Google Scholar 

  9. Ukkonen, E., A modification of the LR(k) method for constructing compact bottom-up parsers (extended abstract), in: Automata, Languages, and Programming, H.A. Maurer, ed., Lecture Notes in Computer Science 71, Springer, Berlin (1979) 646–658.

    Google Scholar 

  10. Ukkonen, E., On size bounds for deterministic parsers, to appear in Automata, Languages, and Programming 1981.

    Google Scholar 

  11. Valiant, L.G., Decision problems for families of deterministic pushdown automata, University of Warwick, Computer Centre, Report No. 7, 1973.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Jozef Gruska Michal Chytil

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pittl, J. (1981). Negative results on the size of deterministic right parsers. In: Gruska, J., Chytil, M. (eds) Mathematical Foundations of Computer Science 1981. MFCS 1981. Lecture Notes in Computer Science, vol 118. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10856-4_112

Download citation

  • DOI: https://doi.org/10.1007/3-540-10856-4_112

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10856-6

  • Online ISBN: 978-3-540-38769-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics