2010 | OriginalPaper | Buchkapitel
Ein anderer Aufbau der rekursiven Funktionen
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Wir werden den Satz im Rest dieses Abschnitts beweisen. Funktionen, die wie in Satz 16.1 aufgebaut sind, nennen wir *-
rekursiv
. Wenn wir zeigen können, daß die Klasse der *-rekursiven Funktionen abgeschlossen ist unter primitiver Rekursion (Regel
R2
), sind wir fertig.