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.
Przykłady funkcji pierwotnie rekurencyjnychNiemal wszystkie (intuicyjnie) podstawowe funkcje totalne są pierwotnierekurencyjne. Na przykład:Suma dwóch liczb naturalnych jest w PREK gdyżsuma(x, 0) = U 1 1 (x)suma(x, y + 1) = s(U 3 3 (x, y, suma(x, y)))Iloczyn dwóch liczb naturalnych jest w PREK gdyżprod(x, 0) = 0(x)prod(x, y) = x + prod(x, y − 1) == suma(U 3 1 (x, y, prod(x, y)), U 3 3 (x, y, prod(x, y − 1)))Funkcje takie jak: x y , x − y, sg(x), dzielenie całkowite, min, max,modulo, ...<strong>Marcin</strong> <strong>Szczuka</strong> (MIMUW) <strong>Modele</strong> Obliczeń 2008/2009 27 / 42