Zusammenfassung
In diesem letzten Abschnitt wollen wir nun zeigen, dass alle partiell rekursiven Wortfunktionen Turing-berechenbar sind. Dazu zeigen wir, dass die Startfunktionen es sind und dass primitive Wortrekursion und Wortminimierung aus Funktionen, die Turing-berechenbar sind, ebensolche macht.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Lüneburg, H. (2002). Finale. In: Rekursive Funktionen. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-55993-8_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-55993-8_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43094-0
Online ISBN: 978-3-642-55993-8
eBook Packages: Springer Book Archive