Академический Документы
Профессиональный Документы
Культура Документы
Recordatorio
Examen final
Sbado 15 de mayo de 2004 a las 08:00 hrs en
el auditorio 5 (de prepa)
{a b c | n > 0} es un lenguaje
sensitivo al contexto
n n n
1. S aBTc | abc
2. T ABTc
3. T ABc
4. BA BX
5. BX YX
6. YX AX
7. AX AB
8. aA aa
9. aB ab
10. bB bb
{a b c | n 0} es un lenguaje
recursivamente numerable
n n n
1. S aBTc | abc |
2. T ABTc
3. T ABc
4. BA BX
5. BX YX
6. YX AX
7. AX AB
8. aA aa
9. aB ab
10. bB bb
LR
{anbn}
X
LLC
n n n
{a
bc}
LSC
X
Mquinas de Turing
Mquina abstracta definida por el matemtico ingls Alan Turing
en Proceedings of the London Mathematical Society 2:230-265,
1936.
Turing empez tratando de modelar a una computadora humana, es
decir, a un humano tratando de resolver algoritmicamente un
problema utilizando papel y lpiz.
Reglas bsicas
Slo se pueden escribir smbolos que pertenecen a un conjunto finito.
Cada accin que la computadora toma slo depende del smbolo que est siendo
examinado y del estado mental en ese momento.
Aunque el estado mental puede cambiar como resultado de los smbolos o
clculos que se han efectuado, el nmero de estados mentales distintos es finito.
Mquina abstracta
Examinar un smbolo individual en el papel.
Borrar un smbolo o reemplazarlo por otro.
Trasladar la atencin de una parte del papel a otra.
Mquinas de Turing
Se tiene un alfabeto de entrada y un alfabeto,
posiblemente mayor, de los smbolos utilizados
durante la operacin o clculos de la mquina.
Un conjunto finito de estados que representan los
distintos estados mentales.
En lugar de una hoja de papel, se tiene una cinta
linear semi-infinita con inicio en el extremo
izquierdo e infinita hacia la derecha. Esta cinta esta
dividida en cuadros, en cada uno de los cuales
puede estar un smbolo o un espacio en blanco (#).
Caricatura de una MT
Operacin de la MT
La accin est determinada por el estado actual y el smbolo en la cinta
y consiste de tres partes
Reemplazar el smbolo en el cuadrado actual por otro que puede ser distinto o el
mismo.
Mover la cabeza lectora a la derecha o a la izquierda (a menos que se encuentre
en el extremo izquierdo de la cinta) o quedarse donde est.
Hacer una transicin de estado, que puede ser distinto o el mismo.
Notacin grfica
(q, X) = (r, Y, D) se puede representar
grficamente de la siguiente manera
X/Y, D
q
Configuracin inicial
#
# ...
Ejemplo
MT que acepta palabras sobre {a, b} que
inician con a
1
#/#,R
a/a,S
b/b,S
#/#,S
hr
ha
#/#,R
#/#,L
a/a,S
b/b,S
#/#,S
hr
ha
(a + b)*aba(a + b)*
(a + b)*aba
L = {ss | s (a + b)*}
...
q7
...
q7
Aceptabilidad
Decimos que un lenguaje L es Turingaceptable si existe una mquina de Turing
que d halt para toda entrada w L, es
decir, la palabra w es aceptada por la
mquina de Turing.
Ejemplo
Mquina de Turing que acepte el lenguaje L = {1x | x = 2n para n
0}, es decir, cadenas de 1s cuya longitud es una potencia de 2.
Idea de construccin:
1) Barrer la palabra de izquierda a derecha tachando un 1 s y otro no.
2) Si en el paso 1) la cinta contiene slo un 1, entonces parar y aceptar.
3) Si en el paso 1) la cinta contiene ms de un 1 y el nmero de 1s es
impar, entonces rechazar.
4) Regresar la cabeza lectora al extremo izquierdo de la cinta.
5) Ir al paso 1).
1/1,L
x/1,L
x/x,R
1/#,L
#/#,L
1/x,R
#/#,R
#/#,R
1/x,R
#/#,L
1/1,R
#/#,S
ha
1/1,R
Propuesta de A. Church
No hay ningn tipo de mquina abstracta
ms poderosa que la MT (es decir, que
acepte / decida clases de lenguajes ms
grandes).
La tesis de Church no ha sido ni probada
ni refutada.
Se ha comparado MT con:
Extensiones de la misma MT:
Cinta infinita a la izquierda
No determinismo
Varias cintas, varias cabezas
Otras mquinas:
Mquinas de Post
Autmatas de varias pilas
Mquinas de Post
Lmites de las MT
Problema del paro (halt) de una MT con
una palabra w.
El lenguaje indecidible en este caso es el
formado por palabras d(M)w en que M da
halt con la entrada w.
Pero no se puede
Teorema: No existe ninguna MT que decida
el lenguaje formado por palabras d(M)w en
que M da halt con la entrada w.
Modificamos A, dando B:
Contradiccin!
Formalmente
Fin de ejecucin
Estado de paro (halt)
detiene la operacin.
acepta la palabra.