Vorlesung Theoretische Informatik II

Weitere Magazine

Empfehlungen

Info

µ-rekursive Funktionen Theorem 12.2 Fµ ⊆ WHILE und F part µ ⊆ WHILE part B. Beckert – Theoretischen Informatik II: WS 2007/08 155 / 175
µ-rekursive Funktionen Beweis (Skizze) Wir haben schon bewiesen: ℘= LOOP ⊂ WHILE Bei Verwendung des entsprechenden Beweises bleibt zu zeigen, dass der µ-Operator in WHILE nachgebildet werden kann. f(n) = µi(g(n,i) = 0) kann berechnet werden durch: xi = 0; while g(n,xi) = 0 do xi := xi + 1 end (informelle Notation!) B. Beckert – Theoretischen Informatik II: WS 2007/08 156 / 175
Seite 1 und 2: Vorlesung Theoretische Informatik I
Seite 3 und 4: µ-rekursive Funktionen Definition
Seite 5 und 6: µ-rekursive Funktionen Definition
Seite 7: µ-rekursive Funktionen Notation F
Seite 11 und 12: µ-rekursive Funktionen Beweis (Ski
Seite 13 und 14: Ackermann-Funktion Wilhelm Ackerman
Seite 19 und 20: Ackermann-Funktion Definition 12.3
Seite 21 und 22: Ackermann-Funktion Wachstumsverhalt
Seite 23 und 24: Ackermann-Funktion Wachstumsverhalt
Seite 25 und 26: Ackermann-Funktion Beweis Die Funkt
Seite 31 und 32: 1 Einführung 2 Primitiv rekursive
Seite 33 und 34: Rück- und Ausblick Aus dem Vorlesu

Vorlesung Theoretische Informatik II

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?