Skip to main content
SpringerLink
Log in

Vier Entscheidbarkeitsprobleme für kontextsensitive Sprachen

  • Published:
Computing Aims and scope Submit manuscript

Zusammenfassung

Die kontextsensitiven Sprachen bilden nicht die allgemeinste Klasse algorithmisch erzeugbarer Sprachen. Dennoch lassen sich vielfältige Probleme (FERMAT) in Entscheidbarkeitsfragen über kontextsensitive Sprachen einbetten. Die hier behandelten Probleme sind sowohl von algebraischem Interesse, als auch für die Umformung von Sprachen durch Homomorphismen und damit für die Analyse wichtig. Leider sind alle gestellten Probleme nicht entscheidbar.

Summary

The context-sensitive languages do not constitute the total class of languages generated by algorithms. Nevertheless various problems (FERMAT) can be embedded in problems of decidability on context-sensitive grammars. The problems here considered are not only of algebraic interest but treat the transformation of languages by homomorphisms and so concern the simplification of language analysing. Unfortunately the questions examined here are undecidable.

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. Bar-Hillel, Perles andShamir: On Formal Properties of Simple Phrase Structure Grammars. Zeitschrift für Phonetik, Sprachwissenschaft und Kommunikationsforschung14, 2, 143–172 (1961).

    Google Scholar 

  2. Chomsky, N., andM. P. Schützenberger: The Algebraic Theorie of Context-Free Languages. Computer Programming and Formal Systems (Herausgeber:P. Braffort undD. Hirschberg) Amsterdam: North-Holland. 1963.

    Google Scholar 

  3. Hotz, G.: Eindeutigkeit und Mehrdeutigkeit formaler Sprachen. EIK2, 4 (1966).

    Google Scholar 

  4. Hotz, G.: Reduktionssätze über eine Klasse formaler Sprachen mit endlich vielen Zuständen. Erscheint in Mathematische Zeitschrift.

  5. Hotz, G.: Eine Bemerkung zur Zerlegung von Produktionssystemen vonSemithue-Systemen. Erscheint in EIK.

  6. Landweber, P. S.: Three Theorems on Phrase Structure Grammars of Type 1. Information and Control6, 2 (1963).

    Google Scholar 

  7. Schnorr, C. P.: Reguläre Untergrammatiken. Tagung Automatenth. München 5.–6. 10. 1967.

  8. Vollmerhaus, W.: Die Zerlegung von kontextfreienSemi-Thue-Systemen mit Anwendung auf das Analyseproblem kontextfreier Sprachen. Beiträge zur Linguistik und Informationsverarbeitung12 (1967).

Download references

Author information

Authors and Affiliations

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

    C. P. Schnorr

Authors
  1. C. P. Schnorr
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Schnorr, C.P. Vier Entscheidbarkeitsprobleme für kontextsensitive Sprachen. Computing 3, 311–317 (1968). https://doi.org/10.1007/BF02235397

Download citation

  • Received:

  • Issue Date:

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

Search

Navigation