1.3 Primitiv rekursive und μ-rekursive Funktionen - Universität Kassel
1.3 Primitiv rekursive und μ-rekursive Funktionen - Universität Kassel
1.3 Primitiv rekursive und μ-rekursive Funktionen - Universität Kassel
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Kapitel 1: Berechenbarkeitstheorie<strong>1.3</strong> <strong>Primitiv</strong> <strong>rekursive</strong> <strong>und</strong> µ-<strong>rekursive</strong> <strong>Funktionen</strong>Beschränkter Existenzquantor:Q(n) gdw. ∃x ≤ n : P(x)Dann : Q(0) gdw. P(0)Q(n+1) gdw.d.h.χ Q (0) = χ P (0)P(n+1) oder Q(n)χ Q (n+1) = χ P (n+1)+χ Q (n)−χ P (n+1)∗χ Q (n)Lemma 1.14Mit P ist auch Q primitiv rekursiv.Prof. Dr. F. Otto (<strong>Universität</strong> <strong>Kassel</strong>) Berechenbarkeit <strong>und</strong> Formale Sprachen 53 / 309