Advertisement

Finale

  • Heinz Lüneburg
Part of the Springer-Lehrbuch book series (SLB)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Heinz Lüneburg
    • 1
  1. 1.Fachbereich MathematikUniversität KaiserslauternKaiserslauternGermany

Personalised recommendations