Advertisement

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
  • 20 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 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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