Computing

, Volume 11, Issue 1, pp 87–96 | Cite as

Generation, recognition and parsing of context-free languages by means of recursive graphs

  • F. P. Kaminger
Article
  • 19 Downloads

Abstract

A device called recursive graph defining context-free languages is described. Previously such a device was used byConway [1] for a compiler design.Conway called it “transition diagram”. Roughly, a recursive graph is a finite set of finite state graphs, which are used in a recursive manner. A recursive graph covers the essential features of both standard devices: It describes the syntactical structure as grammars do, and it represents a method for recognition and parsing as push-down automata do. A notion ofk-determinacy is introduced for recursive graphs and for a restricted kind of them, called simple recursive graphs. Thek-deterministic simple recursive graphs are more general thanLL (k) grammars [5] with respect to parsing-power, but equal with respect to language generation power. The more generalk-deterministic recursive graphs cannot parse the full set ofLR (k)-grammars [4], but they can recognize the full set ofLR (k)-languages. The set of languages recognized by (simple) recursive graphs is the set of context-free languages.

Keywords

Standard Device Syntactical Structure State Graph Transition Diagram Language Generation 

Erzeugung, Erkennung und Analyse von kontext-freien Sprachen mittels rekursiver Graphen

Zusammenfassung

Eine Methode zur Beschreibung kontext-freier Sprachen wird beschrieben. Die gleiche Methode wurde schon vonConway [1] unter der Bezeichnung „transition-diagram” eingeführt. Ein rekursiver Graph ist eine endliche Menge von endlichen Zustandsgraphen, die auf rekursive Weise interpretiert werden. Ein rekursiver Graph leistet allein all das, was sonst die zwei Standardmethoden leisten: Gleich einer Grammatik beschreibt er die syntaktische Struktur einer Sprache und darüber hinaus repräsentiert er eine Methode zur Analyse der Sprache, gleich den Kellerautomaten. Der Begriff derk-Determiniertheit wird sowohl für rekursive Graphen eingeführt, als auch für eine eingeschränkte Art, genannt einfache rekursive Graphen. Diek-deterministischen einfachen rekursiven Graphen vermögen zwar nur die gleiche Sprachklasse zu beschreiben, wie dieLL (k)-Grammatiken [5], jedoch auf eine vielfältigere Art. Die allgemeinerenk-deterministischen rekursiven Graphen vermögen die gleiche Sprachklasse zu beschreiben, wie dieLR (k)-Grammatiken [4], obwohl sie bei der Sprachanalyse eingeschränkter operieren. Die von (einfachen) rekursiven Graphen beschriebenen Sprachen sind die kontext-freien.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Conway, M. E.: Design of a Separable Transition-Diagram Compiler. Comm. ACM6, 396–408 (1963).CrossRefGoogle Scholar
  2. [2]
    Ginsburg, S.: The Mathematical Theory of Context-free Languages. New York: McGraw-Hill. 1966.Google Scholar
  3. [3]
    Kaminger, F. P.: Syntax Definition by Means of Recursive Graphs. IBM Laboratory Vienna, Techn. Report TR 25.078 (1968).Google Scholar
  4. [4]
    Knuth, D. E.: On the Translation of Languages from Left to Right. Information and Control8, 607–639 (1965).CrossRefGoogle Scholar
  5. [5]
    Knuth, D. E.: Top-down Syntax Analysis. Lecture Notes of International Summer School on Computer Programming, Copenhagen (1967).Google Scholar
  6. [6]
    Korenjak, A. J., andJ. E. Hopcroft: Simple Deterministic Languages. IEEE Conference Record of 1966. 7th Symposium on Switching and Automata Theory, pp. 36–49. New York: 1966.Google Scholar
  7. [7]
    Lewis, P. M., II, andR. E. Stearns: Syntax Directed Transduction. Journal of ACM15, 465–488 (1968).CrossRefGoogle Scholar
  8. [8]
    Maurer, H.: Grundlagen der Theorie der Programmiersprachen, Theorie der Syntax. Bibl. Inst. Mannheim.Google Scholar
  9. [9]
    McNaughton, R., andH. Yamada: Regular Expressions and State Graphs for Automata. Transactions of IREEC-9, 39–47 (1960).Google Scholar
  10. [10]
    Schützenberger, M. P.: Context-free Languages and Push-down Automata. Inf. & Control6, 246.Google Scholar
  11. [11]
    Urschler, G.: Determination of Ambiguities in Context-free Grammars. IBM Laboratory Vienna, Techn. Report TR 25.091 (1968).Google Scholar

Copyright information

© Springer-Verlag 1973

Authors and Affiliations

  • F. P. Kaminger
    • 1
  1. 1.RekawinkelAustria

Personalised recommendations