Skip to main content

Parsing strategies: A concise survey

Preliminary report

  • Invited Lectures
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1981 (MFCS 1981)

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

The preparation of this paper was partially supported by a Natural Sciences and Engineering Research Council of Canada Grant No.A-7700.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aho, A.V. and J.D. Ullman. The Theory of Parsing, Translation and Compiling, Vols. 1 and 2. Prentice Hall, Englewoods Cliffs, N.J., 1972 and 1973.

    Google Scholar 

  2. Aho, A.V. and J.D. Ullman. Principles of Compiler Design. Addison Wesley, Reading, Mass., 1977.

    Google Scholar 

  3. Beatty, J.C. On the relationship between the LL(1) and LR(1) grammars. CS-79-36, University of Waterloo, Waterloo, 1979.

    Google Scholar 

  4. Brosgol, B.M. Deterministic translation grammars. TR3-74, Harvard University, Cambridge, Mass., 1974.

    Google Scholar 

  5. Brosgol, B.M. Deterministic translation grammars. Proc. Eight Princeton Conf. on Information Sciences and Systems 1974, 300–306.

    Google Scholar 

  6. Conway, M. Design of a separable transition diagram compiler. Comm. ACM 6 (1963), 396–408.

    Google Scholar 

  7. Demers, A.J. Generalized left corner parsing. Conf. Record of the Fourth ACM Symp. on Principles of Programming Languages 1977, 170–182.

    Google Scholar 

  8. DeRemer, F.L. Simple LR(k) grammars. Comm. ACM 14 (1971), 453–460.

    Google Scholar 

  9. Deussen, P. One abstract parsing algorithm for all kinds of parsers. In: Automata, Languages and Programming, H.A. Maurer (ed.), Lect. Notes in Comp. Sci. 71 (Springer, Berlin, 1979), 203–217.

    Google Scholar 

  10. Fisher, G.A. and M. Weber. LALR(1) parsing for languages without reserved words. SIGPLAN Notices 14, November 1979, 26–30.

    Google Scholar 

  11. Friede, D. Transition diagrams and strict deterministic grammars. In: 4th GI Conf. on Theoretical Computer Science, K. Weihrauch (ed.), Lect. Notes in Comp. Sci. 14 (Springer, Berlin, 1979), 113–123.

    Google Scholar 

  12. Geller, M.M., M.A. Harrison and I.M. Havel. Normal forms of deterministic grammars. Discrete Mathematics 16 (1976), 313–321.

    Google Scholar 

  13. Geller, M.M., S.L. Graham and M.A. Harrison. Production prefix parsing. In: Automata, Languages and Programming, J. Loeckx (ed.), Lect. Notes in Comp. Sci. 14 (Springer, Berlin, 1974), 232–241.

    Google Scholar 

  14. Ghezzi, C. LL(1) grammars supporting an efficient error handling. Information Processing Letters 3 (1975), 174–176.

    Google Scholar 

  15. Graham, S.L. Precedence languages and bounded right context languages. Ph. D. Thesis, Dept. of Computer Science, Stanford University, California, 1971.

    Google Scholar 

  16. Graham, S.L. On bounded right context languages and grammars. SIAM J. of Comput. 3 (1974), 224–254.

    Google Scholar 

  17. Gray, J.N. and M.A. Harrison. Canonical precedence schemes. J. Assoc. Comput. Mach. 20 (1973), 214–234.

    Google Scholar 

  18. Gray, J.N. and M.A. Harrison. On the covering and reduction problems for context-free grammars. J. Assoc. Comput. Mach. 19 (1972), 675–698.

    Google Scholar 

  19. Hammer, M.A. A new grammatical transformation into deterministic top-down form. Mac TR-119, Ph. D. Thesis, Massachusetts Institute of Technology, 1974.

    Google Scholar 

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

    Google Scholar 

  21. Harrison, M.A. On covers and precedence analysis. In: GI-3. Jahrestagung, W. Brauer (ed.), Lect. Notes in Comp. Sci. 1 (Springer, Berlin, 1973), 2–17.

    Google Scholar 

  22. Harrison, M.A. and I.M. Havel. Strict deterministic grammars. J. Comput. System Sci. 7 (1973), 237–277.

    Google Scholar 

  23. Harrison, M.A. and I.M. Havel. On the parsing of deterministic languages. J. Assoc. Comput. Mach. 21 (1974), 525–548.

    Google Scholar 

  24. Harrison, M.A. and I.M. Havel. Real-time strict deterministic languages. SIAM J. of Comput. 1 (1972), 333–349.

    Google Scholar 

  25. Harrison, M.A. and A. Yehudai. A hierarchy of determinstic languages. J. Comput. System Sci. 19 (1979), 63–78.

    Google Scholar 

  26. Hunt III, H.B. and D.J. Rosenkrantz. Complexity of grammatical similarity relations. Proc. of the Conf. on Theoretical Computer Science, Waterloo, 1977, 139–145.

    Google Scholar 

  27. Johnson, S.C. YACC — yet another compiler-compiler. CSTR 32, Bell Laboratories, Murray Hill, New Jersey.

    Google Scholar 

  28. Knuth, D.E. On the translation of languages from left to right. Information and Control 8 (1965), 607–639.

    Google Scholar 

  29. Kral, J. and J. Demner. Semi-top-down syntax analysis. Research report UVT 6/73, Tecnnical University of Prague, 1973.

    Google Scholar 

  30. Kral, J. and J. Demner. A note on the number of states of DeRemer's recognizer. Information Processing Letters 2 (1973), 22–23.

    Google Scholar 

  31. Kretinsky, M. Semi-top-down syntax analysis of precedence grammars. Scripta Fac. Sci. Natur. UJEP Brunensis Math. 8 (1978), 1–11.

    Google Scholar 

  32. Lomet, D.B. Automatic generation of multiple exit parsing strategies. In: Automata, Languages and Programming, J. Loeckx (ed.), Lect. Notes in Comp. Sci. 14 (Springer, Berlin, 1974), 214–231.

    Google Scholar 

  33. Lomet, D.B. A formalization of transition diagram systems. J. Assoc. Comput. Mach. 20 (1973), 235–257.

    Google Scholar 

  34. Mayer, O. A framework for producing deterministic canonical bottom-up parsers. In: Mathematical Foundations of Computer Science, Lect. Notes in Comput. Sci. 64 (Springer, Berlin, 1978), 355–363.

    Google Scholar 

  35. McAfee, J. and L. Presser. An algorithm for the design of simple precedence grammars. J. Assoc. Comput. Mach. 19 (1972), 385–395.

    Google Scholar 

  36. Mickunas, M.D. On the complete covering problem for LR(k) grammars. J. Assoc. Comput. Mach. 23 (1976), 17–30.

    Google Scholar 

  37. Milton, D.R., L.W. Kirchhoff and B.R. Rowland. An ALL(1) compiler generator. SIGPLAN Notices 14, August 1979, 152–157.

    Google Scholar 

  38. Moll, K.R. Left context precedence grammars. Acta Informatica 14 (1980), 317–336.

    Google Scholar 

  39. Moura, A. Syntactic equivalence of grammar classes. Ph. D. Thesis, 1980, Berkeley.

    Google Scholar 

  40. Nijholt, A. Context-Free Grammars: Covers, Normal Forms, and Parsing. Lect. Notes in Comp. Sci. 93 (Springer, Berlin, 1980).

    Google Scholar 

  41. Nijholt, A. and J. Pittl. A framework for classes of grammars between the LL(k) and LR(k) grammars. In preparation (see also CSTR-80-25, McMaster University).

    Google Scholar 

  42. Nijholt, A, and E. Soisalon-Soininen. Ch(k) grammars: A characterization of LL(k) languages. In: Mathematical Foundations of Computer Science. J. Becvár (ed.), Lect. Notes in Comp. Sci. 74 (Springer, Berlin, 1979), 390–397.

    Google Scholar 

  43. Nijholt, A. Strict deterministic grammars and Greibach normal form. Elektr. Informationsverarbeitung und Kybernetik (EIK) 15 (1979), 395–401.

    Google Scholar 

  44. Nijholt, A. The equivalence problem for LL-and LR-regular grammars. In: Fundamentals of Computation Theory. Proceedings of the 3rd Conference, 1981.

    Google Scholar 

  45. Nijholt, A. On the equivalence problem for extended left corner grammars, manuscript, 1981.

    Google Scholar 

  46. Nijholt, A. On the relationship between the LL(k) and LR(k) grammars. submitted for publication.

    Google Scholar 

  47. Nijholt, A. Precedence relations: A bibliography. manuscript, 1981.

    Google Scholar 

  48. Persch, G., G. Winterstein, S. Drossopoulou and M. Dausmann. An LALR(l) grammar for (Revised) Ada. SIGPLAN Notices 16, No. 3, March 1981, 85–98.

    Google Scholar 

  49. Pittl, J. On LLP(k) grammars and languages. Theoret. Comput. Sci. 16 (1981).

    Google Scholar 

  50. Räihä, K.-J. and E. Ukkonen. Balancing syntactic and semantic power in compiler specification. In: Information Processing 80, North Holland, 1980, 65–70.

    Google Scholar 

  51. Schlichtiger, P. Kettengrammatiken: Ein Konzept zur Definition handhabbarer Grammatikklassen mit effizientem Analyseverhalten. Ph. D. Thesis, Kaiserslautern, 1979.

    Google Scholar 

  52. Schlichtiger, P. Partitioned chain grammars. In: Automata, Languages and Programming, J.W. de Bakker and J. v. Leeuwen (eds.), Lect. Notes in Comp. Sci. 85 (Springer, Berlin, 1980), 555–568.

    Google Scholar 

  53. Shyamasundar, R.K. Precedence regular grammars. Int. J. Comput. Math. 7 (1979), 173–186.

    Google Scholar 

  54. Soisalon-Soininen, E. Characterization of LL(k) languages by restricted LR(k) grammars. Ph. D. Thesis, Report A-1977-3, University of Helsinki.

    Google Scholar 

  55. Soisalon-Soininen, E. and E. Ukkonen. A method for transforming grammars into LL(k) form. Acta Informatica 12 (1979), 339–369.

    Google Scholar 

  56. Soisalon-Soininen, E. and D. Wood. On a covering relation for context-free grammars. CSTR 80-CS-21, McMaster University, Hamilton.

    Google Scholar 

  57. Sudborough, I.H. A note on weak operator precedence grammars. IPL7 (1978) 213–218.

    Google Scholar 

  58. Ukkonen, E. A modification of the LR(k) method for constructing compact bottom-up parsers. Automata, Languages and Programming, LNCS 71, 1979, 646–658.

    Google Scholar 

  59. Yehudai, A. A hierarchy of real-time deterministic languages and their equivalence. manuscript, 1980.

    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

Nijholt, A. (1981). Parsing strategies: A concise survey. 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_77

Download citation

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

  • 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