Zusammenfassung
Vorbemerkung: Programmieren in reflexiven Bereichen 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 nachgeweisen 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”.
This is a preview of subscription content, log in via an institution to check access.
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.
A. P. Ershov, D. Bjørner und N. D. Jones (eds.). Proc. of Workshop on Partial Evaluation and Mixed Computation. North-Holland, 1988.
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-93085-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-322-93085-9_7
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-02258-9
Online ISBN: 978-3-322-93085-9
eBook Packages: Springer Book Archive