Académique Documents
Professionnel Documents
Culture Documents
III UNIDAD
Contenido
1. Introduccin.
2. Problemas Decidibles
3. Problemas Indecidibles.
4. Problema de la Parada.
Teora de la Computacin
1. INTRODUCCIN
Teora de la Computacin
1.1. Introduccin.
Entscheidungsproblem (Problema de
Decisin).
La MT se diseo para probar que es
IMPOSIBLE.
Cmo: reducindolo al problema de la
parada.
La mquina de Turing demostr que
existan problemas que una mquina no
poda resolver.
Teora de la Computacin
de Decisin).
Alonzo Church de forma independiente
prob que era IMPOSIBLE creando las
bases de un nuevo paradigma de
programacin.
Ambos formalismos son iguales y
conocidos como: Tesis de Church
Turing.
Teora de la Computacin
Teora de la Computacin
Recursivo
RE
pero no recursivo
No RE
Teora de la Computacin
Dependientes de
contexto
Recursivo
Recursivamente
Enumerable
No Recursivamente Enumerable
Teora de la Computacin
10
2. PROBLEMAS DECIDIBLES
Teora de la Computacin
11
2.1. Problemas.
Un problema es una pregunta del tipo SI/NO acerca
12
resolverlo.
Un algoritmo es una mquina de Turing que se detiene
para todas las entradas sean o no aceptadas.
Un problema decidible es un lenguaje recursivo.
Si un lenguaje no es recursivo, entonces el problema es
indecidible.
Teora de la Computacin
13
14
Teora de la Computacin
15
16
lenguajes:
Teora de la Computacin
18
Complemento:
Teora de la Computacin
19
y L=L(M)
Teora de la Computacin
20
Teora de la Computacin
21
Teora de la Computacin
22
Teora de la Computacin
23
Teora de la Computacin
24
TAREA:
Teora de la Computacin
25
3. PROBLEMAS INDECIDIBLES
Teora de la Computacin
26
3.1. MT codificadas.
Estados:
Smbolos:
Direcciones:
Teora de la Computacin
27
Teora de la Computacin
28
Ejemplo: Sea
Teora de la Computacin
29
Donde:
0001010100100
00010010010100
0001000100010010
Teora de la Computacin
30
(1)
0001010100100
00010010010100
0001000100010010
(2)
(3)
(4)
110001010100100110001001001010011000
1000100010010
Teora de la Computacin
31
(1)
0001010100100
00010010010100
0001000100010010
(2)
(3)
(4)
00010101001001100010010010100110001000
100010010
Teora de la Computacin
32
(1)
0001010100100
00010010010100
0001000100010010
(2)
(3)
(4)
Teora de la Computacin
33
Si
Teora de la Computacin
34
3.2. Diagonalizacin.
Es una herramienta matemtica para hacer demostraciones
(Georg Cantor,1873).
Cantor trato de medir el tamao de conjuntos infinitos. Si
tenemos dos conjuntos infinitos como saber cual de los dos
es ms grande o si son de igual tamao.
Cmo hacerlo?: Cantor propuso que los tamaos de dos
conjuntos son iguales si se pueden emparejar con los
elementos del otro conjuntos (correspondencia).
Ejemplo. Sean dos conjuntos: nmeros naturales y los
nmeros naturales pares, sin incluir 0.
Teora de la Computacin
35
1
2
,
significa que la isima mquina de
Turing rechaza la jsima cadena y 1
significa que es
aceptada.
3
4
5
6
Teora de la Computacin
36
cadena
Teora de la Computacin
37
Teora de la Computacin
38
39
PROBLEMAS
INDECIDIBLES
Turing
Decidibles
L.
Recursivos
L. Recursivamente
Enumerables
L. No Recursivamente
Enumerables
Teora de la Computacin
40
Teora de la Computacin
41
Teora de la Computacin
42
Continuar..
Teora de la Computacin
43