Eduardo Haro Amate

74730243-T
Grupo: A
Resumen Capitulo II: Funciones Recursias !rimitias
"# Composici$n
La composicin es una forma de combinar funciones calculables de forma que el
resultado sea tambin calculable.
Sea f una funcin de k variables y g1gk funciones de n variables, definimos la
composicin de f y g1gk como la funcin de n variables
h(x1xn! " f( #1(x1xn!,,#k(x1xn! !.
Si f y g1gk la funcin composicin tambin lo ser$.
Si h es la composicin de las funciones (parcialmente! calculables f, g1gk entonces h
es (parcialmente! calculable.
2# Recursiidad
Suponiendo que k es un n%mero y
h(&! " k
h(t'1! " # (t, h(t!!
donde g es una funcin total de dos variables, entonces podemos decir que h se obtiene
a partir de g por recursividad, por lo tanto diremos que h es calculable siempre que g lo
sea.
(xiste una recursin m$s comple)a ya que implica funciones de m$s variables.
*artimos de dos funciones totales, una f de n variables y otra # de n'+ variables,
obtendremos h de n'1 variables por recursin de f y # si
h(x1.xn,&! " f(x1.xn!
h(x1.xn,t'1! " #( t, h(x1.xn, t!, x1.xn !
,al y como suced-a en el caso anterior h ser$ calculable siempre que f y g lo sean.
3# Clases !RC %!rimitias Recursiamente Cerradas&
.unciones iniciales/
0.uncin si#uiente s(x! " x'1
0.uncin nula n(x! " &
0.uncin *royeccin
u
n
1
(x1.xn!" x1 si 1 i n
*odemos decir que una clase de funciones totales se dice *12 si/
1. Las funciones iniciales pertenecen a .
+. 3na funcin obtenida a partir de funciones de mediante recursin o
composicin tambin pertenece a .
La clase de funciones calculables es *12, para ello slo tenemos que demostrar que las
funciones iniciales son calculables.
0.uncin si#uiente 4 50 6'1
0.uncin nula *or el pro#rama nulo
0.uncin proyeccin
u
1
n
4 50 6i
1
7iremos que una funcin es recursiva primitiva si puede obtenerse a partir de las
funciones iniciales mediante recursin y composicin y si y slo si pertenece a todas las
clases *12 por lo que dichas funciones recursivas primitivas son *12.
*odemos afirmar que toda funcin recursiva primitiva es calculable pero esta propiedad
en nin#%n caso es rec-proca.
4# Al'unas Funciones Recursias !rimitias
8 x'y (cuaciones de recursin f(x,&! " x
f(x, y'1! " f(x,y! ' 1
8 x9y (cuaciones de recursin h(x,&! " x
h(x, y'1! " h(x,y! ' x
8 x: (cuaciones de recursin &: " 1
(x'1!: " x: 9 s(x!
8
x
y
(cuaciones de recursin
x
0
" 1
x
y1
x
y
x
8 p(x! .uncin *redecesor p(x! x01 si x& (c. 1ecursin p(&! " &
& si x"& p(t'1! " t
8
x y

.uncin
x y

x0y si x& (c. 1ecursin x

& " x
& si x5y x

(t'1! " p(x

t!
8 ;x0y; .uncin valor absoluto ;x0y; " (
x y

! ' (
y x

!
8 (x! .uncin (x! 1 x"& (x! "
1 x

(c. 1ecursin (&! " 1

& x& (t'1! " &
(# !redicados Recursios !rimitios
4a que los predicados pueden tomar los valores & y 1, estos est$n definidos sobre los
n%meros naturales y podemos hablar de predicados recursivos primitivos.
8 x"y .uncin d(x,y! 1 si x"y (s primitiva recursiva ya que d(x,y!" (;x0y;!
& si xy
8 xy (s primitiva recursiva ya que (
x y

!
7ada como una clase *12, y * y < son predicados que pertenecen a , entonces
tambin pertenecen =*, *>< y *v<.
7em./ 0 =* " (*! si * entonces =*
*>< debido a *><"*9<
0 *v< debido a *v< " =(=* > =<!
Si * y < son predicados recursivos primitivos o predicados calculables entonces
tambin lo ser$n *v<, =* y *><.
8 x5y (s recursiva primitiva ya que x5y xy > = (x"y!
)# *peraciones Iteradas + Cuanti,icadores Iterados
+
Sea una clase *12. Si f(t, x1 xn ! pertenece a , entonces tambin pertenecen las
funciones
g y, x1xn
t0
y
f t, x1xn
y
h y, x1xn
t0
y
f t, x1xn
.
Si el predicado *(t, x1 xn! pertenece a la clase *12 entonces tambin pertenecen
los predicados (ty!*(t, x1 xn! y (ty!*(t, x1 xn!.
8 y;x .uncin divisor (s primitiva recursiva ya que y;x (tx!(y9t " x!
8 *rimo(x! *rimitiva recursiva/ *rimo(x! (x?1!> (tx! @t"1 v t"x v = (t;x!A
7# -inimi.aci$n
Si *(t, x1 xn! pertenece a una clase dada *12, B entonces sabemos que
g y, x1xn
u0
y
t0
u
o P t, x1xn
tambin pertenece a .
7educimos que la funcin #(y, x1 xn! realmente calcula el m-nimo valor ty para el
que se verifica *(t, x1 xn!.
7ada la funcin *(t, x1 xn! obtenemos/
f(y, x1 xn! " Cin@ty D *(t, x1 xn! A " #(y, x1 xn! si (ty!*(t, x1 xn!
& en otro caso
*or lo tanto podemos considerar las si#uientes funciones recursivas/
8 ExDyF *arte entera de x dividido por y. (cuacin/ ExDyF"Cin@ tx D (t'1!9y ? x A
8 1(x,y! 1esto de la divisin entera. *rimitiva recursiva/ 1(x,y! "
x
_
y x y
1(x,&! " x
8
p
n
n0simo n%mero primo p& " &, p1 " 1, p+ " G
p& " &
*rimitiva recursiva/ pn'1 " Cin@tpn:'1 D *rimo(t! > (t ? pn!A
La minimiHacin absoluta de un predicado puede producir una funcin que no es total.
()emplo/ x0y " Cin @HDy'x " xA Io esta definida para x5y
Si *(x1 xn, y! es un predicado calculable y si #(x1 xn! " Cin@y D *(x1 xn, y! A
entonces g es parcialmente calculable.
/# Funciones de Empare0amiento + 12meros de G3del
(studiaremos dos procedimientos de codificacin que usan funciones recursivas
primitivas/
1J 2odificar pares de n%meros por n%meros simples
+J 2odificar listas de n%meros
7efinimos la funcin recursiva primitiva
x, y 2
2
2 y1 1
.
7ecodificacin/ 7ado un KHL obtener 5x,y?
x es el mayor nJ tal que
2
2
2 y1 1
G
5x,y?"H y solucin %nica de la ec.
2 y 1 z1 2
x
*or lo tanto definiremos x " l(H! e y " r(H! como/
l(H! " Cin@xH D ( y H! (H " 5x,y?!A
r(H! " Cin@yH D (x H! (H " 5x,y?!A
,eorema de la .uncin de (mpare)amiento/ Las funciones 5x,y?, l(H! y r(H! tienen las
si#uientes propiedades
1. Son recursivas primitivas
+. l(5x,y?! " x, r(5x,y?! " y
G. 5l(H!, r(H!? " H
M. l(H!, r(H! H
2odificaremos y decodificaremos sucesiones arbitrarias finitas de n%meros mediante
funciones recursivas primitivas, definimos el nJ de NOdel de la sucesin (a1,,an! como
a1, , an
i1
n
P
i
a
i
()emplo/
3, 1, 5, 4, 6 3, 1, 5, 4, 6 2
3
3
1
5
5
7
4
11
6
3nicidad/ Si Ea1,,anF " Eb1,,bnF, entonces ai" bi para i"1,n
*ero Ea1,,anF " Ea1,,an,&F se verifica tambin para cualquier sucesin finita de ceros
aPadidos a la derecha de una sucesin finita.
*or otro la#o notemos que los & a la iHquierda si cambian el nJ de NOdel/
E+,GF" 1&Q E&,+,GF" 11+R
,eorema de las Sucesiones de I%meros/
a. (Ea1,,anF!i " ai si 1 i n
& en otro caso
b. E(x!1,,(x!nF " x si nLt(x!
M