Automatic Generation of Multiple Exit Parsing Subroutines

  • David B. Lomet
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 14)

Abstract

The parser construction method presented here might be characterized as the offspring of the successful marriage of LR(k) methodology [4] with the transition diagram systems of Conway [2]. Like transition diagram systems, the parsers constructed by the method presented here, called the LLP(k) method, consist of small, finite state automata linked by “subroutine calls” and provide a mixed top-down/bottom-up parse. Transition diagram systems with one exit state per diagram correspond to top-down parsers and have been extensively studied [6,9,10]. Like Conway’s transition diagrams, however, LLP(k) subroutines can parse multiple non-terminals simultaneously and return an indication of what they have discovered. It has been shown [7] that transition diagram systems composed of such multiple exit diagrams can parse all deterministic context free languages. Further, LLP(k) parsers can be realized as directly executing (non-interpretive) subroutines. The method has been implemented [8]. The results demonstrate the feasibility of the approach.

Keywords

Assure Prefix 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Backes, S., Top-down syntax analysis and Floyd-Evans production language. Information Processing 71, 504–517.Google Scholar
  2. 2.
    Conway, M. E., Design of a separable transition-diagram compiler. Comm. ACM 6, 7 (July 1963), 396–408.CrossRefMATHGoogle Scholar
  3. 3.
    DeRemer, F. L., Simple LR(k) grammars. Comm. ACM 14, 7 (July 1971), 453–460.MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Knuth, D. E., On the translation of languages from left to right. Inform. Cont. 8 (Oct. 1965), 607–639.MathSciNetCrossRefGoogle Scholar
  5. 5.
    Korenjak, A. J., A practical method for constructing LR(k) processors. Comm. ACM 12, 11 (Nov. 1969), 613–623.CrossRefMATHGoogle Scholar
  6. 6.
    Lewis, P. M. and Stearns, R. E., Syntax-directed transductions. J. ACM 15, 3 (July 1968) 465–488.CrossRefMATHGoogle Scholar
  7. 7.
    Lomet, D. B., A formalization of transition systems.. J. ACM 20, 2 (April 1973), 235–257.MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Lomet, D. B., The construction of efficient deterministic language processors. Ph.d. diss., University of Pennsylvania, Philadelphia, Pa., December, 1969 and IBM Research Report RC 2738, January, 1970.Google Scholar
  9. 9.
    Rosenkrantz, D. J. and Stearns, R. E., Properties of deterministic top-down grammars. ACM Symposium on theory of computing, Marina del Rey, California, May 1969, 165–180.Google Scholar
  10. 10.
    Tixier, V., Recursive functions of regular expressions in language analysis. Tech. Rep. CS-58, Computer Science Department, Stanford University, Stanford, California, March, 1967.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • David B. Lomet
    • 1
  1. 1.Computer Sciences DepartmentIBM Thomas J. Watson Research CenterYorktown HeightsUSA

Personalised recommendations