Advertisement

Gesteuerte Ersetzung

  • Arto K. Salomaa
Chapter
  • 33 Downloads

Zusammenfassung

Die grundlegende Hierarchie der vier Sprachfamilien ℒ i erhielten wir, indem wir der Form der Produktionen Einschränkungen auferlegten. Eine natürliche Veraügemeinerung ist es, auch die Art einzuschränken, auf die eine Grammatik Wörter erzeugen kann, d. h. auch derAnwendung von Produktionen Einschränkungen aufzuerlegen. Danach ist nicht jede Ableitung eines terminalen Wortes vom Anfangszeichen aus zulässig. Es gibt einen Kontrollmechanismus, der nur zulässige Ableitungen passieren läßt. In diesem Kapitel studieren wir verschiedene solcher Kontrollmechanismen. Z. B. kann eine Anwendung einer Produktion festlegen, welche Produktionen im nächsten Schritt anwendbar sind (dies nennt man programmierte Grammatik), oder manche Produktionen können nicht angewendet werden, wenn andere anwendbar sind (geordnete Grammatik), oder man kann nur gewisse, vorher definierte Folgen von Produktionen anwenden (Matrix-Grammatik, Grammatik mit einer Kontrollsprache), oder im z-ten Schritt einer Ableitung ist nur eine Teilmenge Fi der gesamten Menge F der Produktionen anwendbar (zeitvarüerende Grammatik). Solche Kontroümechanismen können in Verbindung mit jedem Ersetzungssystem betrachtet werden, was dann zu gesteuerter Ersetzung führt. Wir beschäftigen uns hauptsächlich mit kontextfreien Grammatiken mit Kontrollmechanismen. Das resultierende System ist im Prinzip einfach und leicht handzuhaben. Durch den Kontrollmechanismus ist jedoch die Erzeugungsmächtigkeit beachtlich gewachsen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. Ábrahám, S.: Some questions of phrase structure grammars. Computational Linguistics 4, 61–70 (1965)MathSciNetGoogle Scholar
  2. Altman, E., Baneiji, R.: Some problems of finite representability. Information Control 8, 251–263 (1965)zbMATHCrossRefGoogle Scholar
  3. Baer, R., Spanier, E.: Referenced automata and metaregular families. J. Comput. System Sei. 3 423–446 (1969)MathSciNetzbMATHCrossRefGoogle Scholar
  4. Friant, J.: Grammaires ordonnees-grammaires matricielles. Univ. de Montréal MA-101 (1968)Google Scholar
  5. Friš, J.: Grammars with partial ordering of the rules. Information Control 12, 415–425 (1968)zbMATHCrossRefGoogle Scholar
  6. Ginsburg, S., Spanier, E.: Control sets on grammars. Math. Systems Theory 2,159–177 (1968)MathSciNetzbMATHCrossRefGoogle Scholar
  7. Ibarra, O.: Simple matrix languages. Information Control 17, 359–394 (1970)MathSciNetzbMATHCrossRefGoogle Scholar
  8. Kasai, T.: An hierarchy between context-free and context-sensitive languages. J. Comput. System Sei. 4, 492–508 (1970)MathSciNetzbMATHCrossRefGoogle Scholar
  9. Koster, C. H. A.: Two-level grammars. Seminar on Automata Theory and Mathematical Linguistics, Utrecht, Abstract no. 11 (1970)Google Scholar
  10. Král, J.: A Note on Grammars with Regulär Restrictions. Manuscript (1970)Google Scholar
  11. Lepistö, T.: On Ordered Context-Free Grammars. Manuscript (1971)Google Scholar
  12. Maurer, H.: Theoretische Grundlagen der Programmiersprachen. Hochschultaschenbücher 404, Bibliographisches Inst. 1969Google Scholar
  13. Mayer, O.: Some restrictive devices for context-free grammars. Information Control 20, 69–92 (1972)zbMATHCrossRefGoogle Scholar
  14. Moriya, E.: The associate language and the derivation properties of formal grammars. Information Control (1972) (to appear)Google Scholar
  15. Nash, B., Cohen, R.: Parallel leveled grammars. IEEE Conf. Record lOth Ann. Symp. Switching Automata Theory 263-276 (1969)Google Scholar
  16. Rosenkrantz, D.: Programmed grammars and classes of formal languages, J. Assoc. Comput. Mach. 16, 107–131 (1969)MathSciNetzbMATHGoogle Scholar
  17. Rozenberg, G.: Direction controlled programmed grammars. Acta Informatica 1, 242–252 (1972)CrossRefGoogle Scholar
  18. Salomaa, A.: On finite automata with a time-variant structure. Information Control 13, 85–98 (1968)MathSciNetzbMATHCrossRefGoogle Scholar
  19. Salomaa, A.: On grammars with restricted use of produetions. Ann. Acad. Sei. Fennicae, Ser. AI. 454 (1969)Google Scholar
  20. Salomaa, A.: Periodic ally time-variant context-free grammars. Information Control 17, 294–311 (1970a)MathSciNetzbMATHCrossRefGoogle Scholar
  21. Salomaa, A.: On some families of formal languages obtained by regulated derivations. Ann. Acad. Sei. Fennicae, Ser. AI. 479 (1970b)Google Scholar
  22. Salomaa, A.: Matrix grammars with a leftmost restriction. Information Control 20, 143–149 (1972)MathSciNetzbMATHCrossRefGoogle Scholar
  23. Stotskij, E. D.: O nekotorykh ogranichenijakh na sposob vyvoda v grammatikakh neposredstvennykh sostavljajushehikh. Akad. Nauk SSSR Nauchno-Tekhn. Inform. Ser. 2, 35–38 (1967)Google Scholar
  24. Stotskij, E. D.: Porozhdajushchie grammatiki i upravlenie vyvodom. Akad. Nauk SSSR Nauchno- Tekhn. Inform. Ser. 2, 28–31 (1968)Google Scholar
  25. Stotskij, E. D.: Formalnye grammatiki i ogranichenija na vyvod. ProbL Pered. Inform. 7, 1, 87–101 (1971a)Google Scholar
  26. Stotskij, E. D.: Upravlenie vyvdom v formalnykh grammatikakh. ProbL Pered. Inform. 7, 3, 87–102 (1971b)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Arto K. Salomaa
    • 1
  1. 1.Dept. of MathematicsTurku 50Finland

Personalised recommendations