Skip to main content
SpringerLink
Log in

Zerlegungen von Semi-Thue-Systemen

Decompositions of Semi-Thue-Systems

  • Published:
Computing Aims and scope Submit manuscript

Zusammenfassung

Es werden fünf Zerlegungsbegriffe für Semi-Thue-Systeme diskutiert, die sowohl für die allgemeine Theorie, als auch für praktische Zwecke (Vereinfachung des Analyseproblems) Bedeutung haben. Die Zerlegungsbegriffe bilden eine einfache Hierarchie. Wir geben für jeden Zerlegungsbegriff ein notwendiges und hinreichendes Kriterium an. Drei der Zerlegungsbegriffe erweisen sich als generell entscheidbar, zwei dagegen sind es nur im kontextfreien Fall.

Summary

We consider five notions of decompositions of Semi-Thue-Systems. These are interesting in view of the theory of Semi-Thue-Systems as well as in regard to practical applications (simplification of the analysisproblem). The decompositions form a simple hierarchy. We proof a necessary and sufficient condition for each of the decompositions. Three of the notions are shown to be determinable in general, the other two notions are determinable only for contextfree Semi-Thue-Systems.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literatur

  1. Ehresmann, C.: Categories et Structures. Paris: Dunod. 1965.

    Google Scholar 

  2. Chomsky, N.: On Certain Formal Properties of Grammars. Information and Control2, 137–167 (1959).

    Article  Google Scholar 

  3. Ginsburg, S.: The Mathematical Theory of Contextfree Languages. New York: McGraw-Hill. 1966.

    Google Scholar 

  4. Hotz, G.: Eindeutigkeit und Mehrdeutigkeit formaler Sprachen. Elektronische Informationsverarbeitung und Kybernetik2, 235–246 (1966).

    Google Scholar 

  5. Hotz, G.: Erzeugung formaler Sprachen durch gekoppelte Ersetzungen, in:Bauer, F. L., Samelson, K., 4. Colloquium über Automatentheorie, München 1967.

  6. Kuroda, S. Y.: Classes of Languages and Linear Bounded Automata. Information and Control7, 202–223 (1964).

    Article  Google Scholar 

  7. Landweber, P. S.: Three Theorems on Phrase Structure Grammars of Type 1, Information and Control6, 131–136 (1963).

    Article  Google Scholar 

  8. Schnorr, C.-P.: Vier Entscheidbarkeitsprobleme für kontextsensitive Sprachen. Comp.3, 4, 311–317 (1968).

    Article  Google Scholar 

  9. Vollmerhaus, W.: Die Zerlegung von kontextfreien Semi-Thue-Systemen mit Anwendung auf das Analyseproblem kontextfreier Sprachen. Beiträge zur Linguistik und Informationsverarbeitung,12, (1967).

  10. Vollmerhaus, W.: Über die Zerlegung von freienX-Kategorien. In:Bauer, F. L., Samelson, K., 4. Colloquium über Automatentheroie. München 1967.

  11. Walter, H.: Pullback-Konstruktionen bei Semi-Thue-Systemen. In:Bauer, F. L., Samelson, K., 4. Colloquium über Automatentheorie. München 1967.

Download references

Author information

Authors and Affiliations

  1. Institut für Angewandte Mathematik der Universität des Saarlandes, D-66, Saarbrücken, Bundesrepublik Deutschland

    V. Claus &  H. Walter

Authors
  1. V. Claus
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H. Walter
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Diese Arbeit wurde von der Deutschen Forschungsgemeinschaft im Rahmen der Forschungsvorhaben Ho 251/2 und Ho 251/4 unterstützt.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Claus, V., Walter, H. Zerlegungen von Semi-Thue-Systemen. Computing 4, 107–124 (1969). https://doi.org/10.1007/BF02234759

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02234759

Search

Navigation