Está en la página 1de 5

L ogica y Computabilidad

Verano 2011
Departamento de Computaci on - FCEyN - UBA
Computabilidad - clase 3
Sumatorias y productorias, cuanticadores acotados, minimizacion
acotada, codicacion de pares y secuencias
1
Sumatorias y productorias (desde 0)
Teorema
Sea ( una clase PRC. Si f : N
n+1
N esta en ( entonces tambien
estan las funciones
g(y, x
1
, . . . , x
n
) =
y

t=0
f (t, x
1
, . . . , x
n
)
h(y, x
1
, . . . , x
n
) =
y

t=0
f (t, x
1
, . . . , x
n
)
Demostraci on.
g(0, x
1
, . . . , x
n
) = f (0, x
1
, . . . , x
n
)
g(t + 1, x
1
, . . . , x
n
) = g(t, x
1
, . . . , x
n
) + f (t + 1, x
1
, . . . , x
n
)
Idem para h con en lugar de +.
Observar que no importa la variable en la que se hace la recursion:
podemos denir g

(x, t) como la clase pasada y luego


g(t, x) = g

(u
2
2
(t, x), u
2
1
(t, x)) = g

(x, t). 2
Sumatorias y productorias (desde 1)
Teorema
Sea ( una clase PRC. Si f : N
n+1
N esta en ( entonces tambien
estan las funciones
g(y, x
1
, . . . , x
n
) =
y

t=1
f (t, x
1
, . . . , x
n
)
h(y, x
1
, . . . , x
n
) =
y

t=1
f (t, x
1
, . . . , x
n
)
(como siempre, sumatoria vaca = 0, productoria vaca = 1)
Demostraci on.
g(0, x
1
, . . . , x
n
) = 0
g(t + 1, x
1
, . . . , x
n
) = g(t, x
1
, . . . , x
n
) + f (t + 1, x
1
, . . . , x
n
)
Idem para h con en lugar de + y 1 en lugar de 0 en el caso
base.
3
Cuanticadores acotados
Sea p : N
n+1
0, 1 un predicado.
(t)
y
p(t, x
1
, . . . , x
n
) es verdadero sii
p(0, x
1
, . . . , x
n
) es verdadero y
.
.
.
p(y, x
1
, . . . , x
n
) es verdadero
(t)
y
p(t, x
1
, . . . , x
n
) es verdadero sii
p(0, x
1
, . . . , x
n
) es verdadero o
.
.
.
p(y, x
1
, . . . , x
n
) es verdadero
Lo mismo se puede denir con < y en lugar de y.
(t)
<y
p(t, x
1
, . . . , x
n
) y (t)
<y
p(t, x
1
, . . . , x
n
)
4
Cuanticadores acotados (con )
Teorema
Sea p : N
n+1
0, 1 un predicado perteneciente a una clase PRC
(. Los siguientes predicados tambien estan en (:
(t)
y
p(t, x
1
, . . . , x
n
)
(t)
y
p(t, x
1
, . . . , x
n
)
Demostraci on.
(t)
y
p(t, x
1
, . . . , x
n
) sii

y
t=0
p(t, x
1
, . . . , x
n
) = 1
(t)
y
p(t, x
1
, . . . , x
n
) sii

y
t=0
p(t, x
1
, . . . , x
n
) ,= 0
la sumatoria y productoria estan en (
la comparacion por = esta en (
5
Cuanticadores acotados (con <)
Teorema
Sea p : N
n+1
0, 1 un predicado perteneciente a una clase PRC
(. Los siguientes predicados tambien estan en (:
(t)
<y
p(t, x
1
, . . . , x
n
)
(t)
<y
p(t, x
1
, . . . , x
n
)
Demostraci on.
(t)
<y
p(t, x
1
, . . . , x
n
) sii (t)
y
(t = y p(t, x
1
, . . . , x
n
))
(t)
<y
p(t, x
1
, . . . , x
n
) sii (t)
y
(t ,= y p(t, x
1
, . . . , x
n
))
6
Mas ejemplos de funciones primitivas recursivas
y[x sii y divide a x. Se dene como
(t)
x
y t = x
Notar que con esta denicion 0[0.
primo(x) sii x es primo.
7
Minimizacion
Sea p : N
n+1
0, 1 un predicado de una clase PRC (.
g(y, x
1
, . . . , x
n
) =
y

u=0
u

t=0
(p(t, x
1
, . . . , x
n
))
Que hace g?
supongamos que existe un t y tal que p(t, x
1
, . . . , x
n
) es
verdadero

sea t
0
el mnimo tal t

p(t, x
1
, . . . , x
n
) = 0 para todo t < t
0

p(t
0
, x
1
, . . . , x
n
) = 1


u
t=0
(p(t, x
1
, . . . , x
n
)) =
_
1 si u < t
0
0 si no

g(y, x
1
, . . . , x
n
) =
y+1 veces
..
1 + 1 + + 1
. .
t0 veces
+0 + 0 + + 0 = t
0

entonces g(y, x
1
, . . . , x
n
) es el mnimo t y tal que
p(t, x
1
, . . . , x
n
) es verdadero
si no existe tal t, g(y, x
1
, . . . , x
n
) = y + 1
8
Minimizacion
Notamos
mn
ty
p(t, x
1
, . . . , x
n
) =
_

_
mnimo t y tal que
p(t, x
1
, . . . , x
n
) es verdadero
si existe tal t
0 si no
Teorema
Sea p : N
n+1
0, 1 un predicado de una clase PRC (. La
funcion
mn
ty
p(t, x
1
, . . . , x
n
)
tambien esta en (.
9
Mas ejemplos de funciones primitivas recursivas
x div y es la division entera de x por y
mn
tx
((t + 1) y > x)
Notar que con esta denicion 0 div 0 es 0.
x mod y es el resto de dividir a x por y
p
n
es el n-esimo primo (n > 0). Se dene
p
0
= 0, p
1
= 2, p
2
= 3, p
3
= 5, . . .
p
0
= 0
p
n+1
= mn
tK(n)
(primo(t) t > p
n
)
Necesitamos una cota K(n) que sea buena, i.e.

sucientemente grande y

primitiva recursiva
K(n) = p
n
! + 1 funciona (ver que p
n+1
p
n
! + 1).
10
Codicacion de pares
Denimos la funcion primitiva recursiva
x, y = 2
x
(2 y + 1)

1
Notar que 2
x
(2 y + 1) ,= 0.
Proposicion
Hay una unica solucion (x, y) a la ecuacion x, y = z.
Demostraci on.
x es el maximo n umero tal que 2
x
[(z + 1)
y = ((z + 1)/2
x
1) div 2
11
Observadores de pares
Los observadores del par z = x, y son
l (z) = x
r (z) = y
Proposicion
Los observadores de pares son primitivas recursivas.
Demostraci on.
Como x, y < z + 1 tenemos que
l (z) = mn
xz
((y)
z
z = x, y)
r (z) = mn
yz
((x)
z
z = x, y)
Por ejemplo,
2, 5 = 2
2
(2 5 + 1)

1 = 43
l (43) = 2
r (43) = 5
12
Codicacion de secuencias
El n umero de Godel de la secuencia
a
1
, . . . , a
n
es el n umero
[a
1
, . . . , a
n
] =
n

i =1
p
ai
i
,
donde p
i
es el i -esimo primo (i 1).
Por ejemplo el n umero de Godel de la secuencia
1, 3, 3, 2, 2
es
[1, 3, 3, 2, 2] = 2
1
3
3
5
3
7
2
11
2
= 40020750.
13
Propiedades de la codicacion de secuencias
Teorema
Si [a
1
, . . . , a
n
] = [b
1
, . . . , b
n
] entonces a
i
= b
i
para todo
i 1, . . . , n.
Demostraci on.
Por la factorizacion unica en primos.
Observar que
[a
1
, . . . , a
n
] = [a
1
, . . . , a
n
, 0] = [a
1
, . . . , a
n
, 0, 0] = . . .
pero
[a
1
, . . . , a
n
] ,= [0, a
1
, . . . , a
n
]
14
Observadores de secuencias
Los observadores de la secuencia x = [a
1
, . . . , a
n
] son
x[i ] = a
i
[x[ = longitud de x
Proposicion
Los observadores de secuencias son primitivas recursivas.
Demostraci on.
x[i ] = mn
tx
(p
t+1
i
[x)
[x[ = mn
i x
(x[i ] ,= 0 (j )
x
(j i x[j ] = 0))
Por ejemplo,
[1, 3, 3, 2, 2][2] = 3 = 40020750[2]
[1, 3, 3, 2, 2][6] = 0 = 40020750[6]
[[1, 3, 3, 2, 2][ = 5 = [40020750[
[[1, 3, 3, 2, 2, 0][ = [[1, 3, 3, 2, 2, 0, 0][ = 5 = [40020750[
x[0] = 0 para todo x
0[i ] = 0 para todo i
15
En resumen: codicaci on y decodicacion de pares y
secuencias
Teorema (Codicaci on de pares)
l (x, y) = x, r (x, y) = y
z = l (z), r (z)
l (z), r (z) z
la codicacion y observadores de pares son p.r.
Teorema (Codicaci on de secuencias)
[a
1
, . . . , a
n
][i ] =
_
a
i
si 1 i n
0 si no
si n [x[ entonces [x[1], . . . , x[n]] = x
la codicacion y observadores de secuencias son p.r.
16
Para leer
Computability, Complexity and Languages, fundamentals of
theoretical computer science. Captulo 3. Martin Davis, Ron
Sigal, Elaine Weyuker, Elsevier, 1994
17