Documentos de Académico
Documentos de Profesional
Documentos de Cultura
TEORIA DE COMPUTACION
Funciones Recursivas.
M. A. Pinninghoff J.
1. Introducción.
3) Una afirmación de que la función sólo toma aquellos valores que re-
sultan por aplicación, un número finito de veces, de la regla de construcción
recursiva sobre los valores de la función básica.
1
Es decir, una definición recursiva especifica un procedimiento efectivo
para evaluar una función siempre que la función esté definida.
f (0, x1 , x2 ) = 0 + (x1 · x2 )
Tomaremos como conjunto base, tres funciones que por definición deci-
mos que son recursivas primitivas iniciales:
2
a. Función Nula (o función cero)
N (x) = 0, ∀x ∈ N
b. Función Sucesor
S(x) = x0
hace corresponder a cualquier número natural x su siguiente, que deno-
taremos por x0 .
Por ejemplo:
I35 (2, 3, 1, 4, 2) = 1
I22 (7, 9) = 9
I11 (6) = 6
Estas tres funciones son totales, puesto que para todo x, N(x), S(x),
Ini (X) están perfectamente definidas ası́ como su valor asociado.
Además, las tres son computables.
Reglas Inductivas.
a) Composición.
3
Supongamos que las m funciones g1 , g2 , g3 , . . ., gm tales que el dominio
de gi es Nn (1 ≤ i ≤ n) y la función h con dominio Nm son recursivas primi-
tivas. Es decir, tenemos m funciones recursivas primitivas de n argumentos
y una función primitiva recursiva de m argumentos.
f (x1 , x2 , ..., xn ) = h(g1 (x1 , ..., xn ), g2 (x1 , ..., xn ), ..., gm (x1 , ..., xn )) (1)
Por ejemplo:
g1 (x, y) = x + y
g2 (x, y) = x − y
g3 (x, y) = x · y
h(g1 , g2 , g3 ) = 2 · g1 + g2 + g3
entonces
f (x, y) = 2 · (x + y) + (x − y) + x · y
b) Recursión.
4
Ya que f (x, 0) = g(x) está definida, una vez que hemos calculado f (x, y)
el valor de f (x, y 0 ) se obtiene evaluando la función total h.
f (0) = K
f (y 0 ) = h(y, f (y))
Por ejemplo:
g(x1 , x2 ) = x1 · x2
z ) = y + z + x 1 + x2
h(x1 , x2 , y , |{z} z = f (x1 , x2 , y)
| {z } |{z}
x y f (x,y)
f (y 0 , x1 , x2 ) = h(x1 , x2 , y, f (y, x1 , x2 ))
= y + f (y, x1 , x2 ) + x1 + x2
5
f (0, 5, 2) = 5 · 2 = 10
Luego, f (3, 5, 2) = 34
Ck (x) = k, ∀x ∈ N
2. La función Predecesor:
P (y 0 ) = y
6
P (0) = 0
P (0) = 0
P (y 0 ) = h(y, P (y)) = I12 (y, P (y))
3. La función Suma:
Informalmente:
f (x, 0) = x → x+0=x