Zusammenfassung
Für Programmiersprachen ist die Einfachheit der Kontrollstrukturen wie Zeilennummern plus goto die while-, repeat- und loop-Konstruktion von nicht zu unterschätzender Bedeutung. Diese wirken sich aus in der Übersichtlichkeit der Programme und in der Konzisheit welche sie für die Theorie, insbesondere die Semantik ermöglichen. Nachdem wir eben nachgewiesen haben, dass diese wenigen Kontrollstrukturen gemäss der Church’schen These auch sämtliche berechenbaren Funktionen zu programmieren gestatten, so wäre eigentlich “die Arbeit geleistet”.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliographische Schlussbemerkungen
J. McCarthy in: Computer Programming and Formal Systems( Brafford & Hirschberg, eds. ). North-Holland, 1963.
J. Allen, The Anatomy of LISP. McGraw-Hill, 1978.
P. H. Winston und B. K. P. Horn, LISP. Addison-Wesley, 1984.
Z. Manna, Mathematical Theory of Computation. McGraw-Hill, 1974. Die hier dargestellte Theorie der Interpreter und Compiler geht zurück auf Ideen von A. Ershov, Y. Futamura und N. Jones, vgl.:
A. P. Ershov, D. Bjorner und N. D. Jones (eds.). Proc. of Workshop on Partial Evaluation and Mixed Computation. North-Holland, 1988.
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). Rekursive Prozeduren. 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_7
Download citation
DOI: https://doi.org/10.1007/978-3-322-92677-7_7
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