Marcin Szczuka: Modele ObliczeÅ. WykÅad 3. Maszyny RAM i ...
Marcin Szczuka: Modele ObliczeÅ. WykÅad 3. Maszyny RAM i ...
Marcin Szczuka: Modele ObliczeÅ. WykÅad 3. Maszyny RAM i ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Własności funkcji pierwotnie rekurencyjnychTwierdzenie (Robinson)Każda funkcja z f(x) ∈ PREK 1 (jednoargumentowa funkcja pierwotnierekurencyjna) może być otrzymana z s(x) i q(x) = df x − ⌊ √ x⌋ 2 zapomocą skończonej liczby:Dodawań (f + g)(x) = f(x) + g(x);Superpozycji (f ◦ g)(x) = f(g(x));Iteracji takich że: (If)(0) = 0, (If)(n + 1) = f((If)(n)).{ x − y gdy x ≥ yUwaga: Tutaj x − y =0 gdy x < y .TwierdzenieIstnieje funkcja uniwersalna F (n, x) dla PREK 1 ale nie należy ona doPREK. (Patrz następny slajd.)<strong>Marcin</strong> <strong>Szczuka</strong> (MIMUW) <strong>Modele</strong> Obliczeń 2008/2009 29 / 42