Automatic generation of multiple exit parsing subroutines

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


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.


Production Chain Parse Tree Production Expression Input String Finite State Automaton 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  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.CrossRefGoogle Scholar
  3. 3.
    DeRemer, F. L., Simple LR(k) grammars. Comm. ACM 14, 7 (July 1971), 453–460.CrossRefGoogle Scholar
  4. 4.
    Knuth, D. E., On the translation of languages from left to right. Inform. Cont. 8 (Oct. 1965), 607–639.CrossRefGoogle Scholar
  5. 5.
    Korenjak, A. J., A practical method for constructing LR(k) processors. Comm. ACM 12, 11 (Nov. 1969), 613–623.CrossRefGoogle Scholar
  6. 6.
    Lewis, P. M. and Stearns, R. E., Syntax-directed transductions. J. ACM 15, 3 (July 1968) 465–488.CrossRefGoogle Scholar
  7. 7.
    Lomet, D. B., A formalization of transition system. J. ACM 20, 2 (April 1973), 235–257.CrossRefGoogle 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 Heights

Personalised recommendations