Zusammenfassung
Algorithmen beschreiben den Ablauf von Prozessen, in welchen aufgrund von Eingabewerten gewisse Resultate, Ausgabewerte, produziert werden. Dies gilt grundsätzlich ohne Rücksicht darauf, ob in diesem Prozess “gerechnet” wird, ob Zeichenreihen verarbeitet werden, ob das Resultat nur eine Ja-Nein-Antwort, ein Steuersignal ist, oder ob es sich um einen Dialogbetrieb handelt. Im wesentlichen sagt der Algorithmus, wie die Ausgabewerte als Funktionen der Eingabewerte berechnet werden.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
M. Davis (ed.), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions. Raven Press, 1965.
Dort finden sich die grundlegenden Arbeiten von Gödel, Church, Post, Turing etc. Die Berechnungstheorie in ihren Anfängen ist in folgenden einflussreichen Büchern zu finden:
H. Hermes, Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Springer, 1961.
S. C. Kleene, Introduction to Metamathematics. North-Holland, 1952.
M. Davis, Computability and Unsolvability. McGraw-Hill, 1958.
M. L. Minsky, Computation: Finite and Infinite Machines. Prentice-Hall, 1967. Seither sind einige Lehrbücher erschienen, welche mit dem vorliegenden in Konkurrenz stehen; wir erwähnen
M. D. Davis und E. J. Weyuker, Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science. Academic Press, 1983.
Z. Manna, Mathematical Theory of Computation. McGraw-Hill, 1974.
H. R. Lewis und C. H. Papadimitriou, Elements of the Theory of Computation. Prentice-Hall, 1981.
Der Zusammenhang zwischen Programmiersprachen und Klassen von berechenbaren Funktionen (LOOP/primitiv-rekursive Funktionen; WHILE/partiell-rekursive Funktionen) ist nur ein kleines Kapitel in dem grossen Gebiet der Semantik von Programmiersprachen. Dazu empfehlen wir den hübschen Artikel:
D. Harel, On Folk Theorems, Comm. ACM 23 (1980), S. 379–389.
D. A. Schmidt, Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, 1986.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1988 B. G. Teubner Stuttgart
About this chapter
Cite this chapter
Engeler, E., Läuchli, P. (1988). Berechenbarkeit, Aufzählbarkeit. In: Berechnungstheorie für Informatiker. Leitfäden und Monographien der Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-92677-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-322-92677-7_1
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-12258-6
Online ISBN: 978-3-322-92677-7
eBook Packages: Springer Book Archive