Advertisement

Lösbarkeit und Unlösbarkeit

  • Arto K. Salomaa
Chapter
  • 32 Downloads

Zusammenfassung

Der letzte Teil dieses Buches ist dem Studium zweier Probleme gewidmet. Welche Fragen über Sprachen und Sprachfamilien können mechanisch gelöst werden? Sind manche Fragen wesentlich schwieriger zu lösen als andere? Das vorliegende Kapitel beschäftigt sich mit dem ersten Problem. Wir fassen zuerst einige Ergebnisse über die Existenz von Algo rithmen zusammen, die wir bereits in früheren Kapiteln erhalten haben, und weisen einige einfache Ergebnisse über Unlösbarkeit nach. Dann wird ein anspruchvolleres Hilfsmittel, die Unlösbarkeit des Postschen Korrespondenzproblems, eingeführt, und daran anschließend erhält man eine Fülle von Unlösbarkeitsergebnissen. Schließlich richten wir unsere Aufmerksamkeit auf kontextfreie Sprachen und weisen ein wichtiges Lösbarkeitsegebnis nach.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. Cudia, D., Singletary, W.: Degrees of unsolvabüity in formal grammars. J. Assoc. Comput. Mach. 15, 680–692(1968)MathSciNetzbMATHGoogle Scholar
  2. Floyd, R.: New Proofs of Old Theorems in Logic and Formal Linguistics. Wakefield, Massachusetts: Computer Assoc. 1964Google Scholar
  3. Ginsburg, S.: The Mathematical Theory of Context-Free Languages. New York: McGraw-Hill, 1966zbMATHGoogle Scholar
  4. Ginsburg, S., Harrison, M.: Bracketed context-free languages. J. Comput. System Sei. 1, 1–23 (1967)MathSciNetzbMATHCrossRefGoogle Scholar
  5. Greibach, S.: A note on undecidable properties of formal languages. Math. Systems Theory 2, 1–6 (1968)MathSciNetzbMATHCrossRefGoogle Scholar
  6. Hartmanis, J.: Context-free languages and Turing machine computations. Proc. Symp. Appl. Math. (Amer. Math. Soc., Providence, Rhode Island) 19, 42–51 (1967)MathSciNetGoogle Scholar
  7. Hartmanis, J., Hopcroft, J.: What makes some language theory problems undecidable. J. Comput. System Sei 4, 368–376 (1970)MathSciNetzbMATHCrossRefGoogle Scholar
  8. Kaminger, F.: The noncomputability of the Channel capacity of context-sensitive languages. Information Control 17, 175–182 (1970)MathSciNetzbMATHCrossRefGoogle Scholar
  9. McNaughton, R.: Parenthesis grammars. J. Assoc. Comput. Mach. 14, 490–500 (1967)MathSciNetzbMATHGoogle Scholar
  10. Matijasevich, Ju.: Diofantovo predstavlenie perechislimykh predikatov. Izv. Akad. Nauk SSSR, Ser. Matern. 35, 3–30(1971)Google Scholar
  11. Maurer, H.: Theoretische Grundlagen der Programmiersprachen. Hochschultaschenbücher 404, BibUographisches Inst. 1969Google Scholar
  12. Pauli, M., Unger, S.: Structural equivalence of context-free grammars. J. Comput. System Sei. 2, 427–463 (1968)CrossRefGoogle Scholar
  13. Post, E.: A variant of a recursively unsolvable problerm. Bull. Amer. Math. Soc. 52, 264–268 (1946)MathSciNetzbMATHCrossRefGoogle Scholar
  14. Robinson, J.: Hilbert’s tenth problem. Proc. Symp. Pure Math. (Amer. Math. Soc., Providence, Rhode Island) 20, 191–194 (1971)Google Scholar
  15. Rogers, Jr.,H.: Theory of Recursive Functions and Effective Computability. New York: McGraw- Hill 1967.zbMATHGoogle Scholar
  16. Taniguchi, K., Kasami, T.: Reduction of context-free grammars. Information Control 17, 92–108 (1970)MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

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

Personalised recommendations