Práctica 8: Funciones Primitivas Recursivas (Lógica y Computabilidad)

Ej 4

• a

$g(x,y)=\psi ^{(}x)(y)$

$g(0,y)=y$ $g(x+1,y)=\psi (g(x,y))$

$f(x)=g(x,x)=\psi ^{(}x)(x)$

• b. Lo mismo pero con + 1

• c

g(x,y,z,0) = x $g(x,y,z,w+1)=\phi (g(x,y,z,w),z-x)$

- es el menos natural (con puntito arriba)

$f(x,y)=g(x,y,y,y+1)$