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
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Kapitel 1: Berechenbarkeitstheorie<strong>1.3</strong> <strong>Primitiv</strong> <strong>rekursive</strong> <strong>und</strong> µ-<strong>rekursive</strong> <strong>Funktionen</strong>Lemma 1.12Die <strong>Funktionen</strong> e <strong>und</strong> f sind primitiv rekursiv.P ⊆ N ˆ= Prädikat P(n)n ∈ P gdw. P(n) gilt.Charakteristische{Funktion zu P:1 falls P(n)χ P (n) =0 sonstDefinition P(n) ist prim. rekursiv gdw. χ P ist prim. rekursiv.Prof. Dr. F. Otto (<strong>Universität</strong> <strong>Kassel</strong>) Berechenbarkeit <strong>und</strong> Formale Sprachen 51 / 309