Documentos de Académico
Documentos de Profesional
Documentos de Cultura
C9 Ewrwerewrew
C9 Ewrwerewrew
El lenguaje S se extiende:
I
Logica y Computabilidad
2 cuatrimestre 2009
Departamento de Computaci
on - FCEyN - UBA
A
e (x1 , . . . , xn ) =
Reducibilidad de Turing
Para A, B N, decimos que A T B cuando se puede calcular el
conjunto A con oraculo B, i.e. existe p tal que
B
p =A
A
p = A para todo A
A
p = A para todo A
K
p = {x : dom x = }
B
p (x)
{x : x es total}
{x : K
x (x) }
si x A
sino
(
1
= A(x) =
0
A T A para todo A
A T A para todo A
{x : dom x = } T K
{x : x es total} 6T K
{x : K
x (x) } 6T K
4
Conjuntos T
El salto
Para A N se define el salto de A como
A0 = {x : A
x (x) }
Por ejemplo,
0
= {x : x (x) } =
0
I 00 = {x :
x (x) }
00
I 000 = {x :
x (x) }
(n1)
I (n) = {x : x
(x)
I
A es r.e. sii
{x : x (x) } = K
(y ) R(x, y )
(y ) P(x, y )
A es r.e. y co-r.e.
existen P y R p.r. tal que
A(x) = 1 sii (y ) P(x, y )
sii
(y ) R(x, y )
Conjuntos T 0
Conjuntos T 00
I
A es 00 -r.e. sii
00
A es 0 -r.e. sii
I
I
A es
I
I
0 -co-r.e.
sii A es
0 -r.e.
sii
(y )(z) P(x, y , z)
sii
00
sii
(y )(z) R(x, y , z)
0
dome
A es 0 -r.e. y 0 -co-r.e.
existen P y R p.r. tal que
A(x) = 1 sii (y )(z) P(x, y , z)
sii
(y )(z) R(x, y , z)
A(x) = 1
sii
(y )(z)(w ) P(x, y , z, w )
sii
(y )(z)(y ) R(x, y , z, w )
La jerarqua aritmetica
I
Problema de Post
(n)
I
I
A es
I
I
(n) -co-r.e.
sii A es
(n) -r.e.
sii
(n)
dome
sii
(y )(z)(w ) . . . P(x, y , z, w , . . . )
sii
(y )(z)(y ) . . . R(x, y , z, w , . . . )
K = {x : x (x) } T 0
{hx, y i : x (y ) } T 0
{x : x es primo} T
{hx, hy , zii : x (y ) = z} T 0
N T
{x : dom x 6= } T 0
{x : 0 dom x } T 0
Decimos A T B cuando A T B y B T A.
Problema de Post (1944): Existe un A r.e. tal que <T A <T 0 ?
11
10