Examen Unidad 6 LyA-1

Lea detenidamente las preguntas y conteste cada una de ellas para resolver su examen, sólo
puede enviar el examen una vez (Envíelo en formato word), hágalo al finalizar de contestar las
preguntas.

1.-Defina que es una Máquina de Turing y explique su funcionamiento.

20 pts.

R: Una máquina de Turing consiste, básicamente, en una cinta infinita que está dividida en casillas,
su funcionamiento es totalmente mecánico y secuencial.

Sobre esta cinta hay un dispositivo capaz de desplazarse a lo largo de ella a razón de una casilla
cada vez, Leerlo y después toma el símbolo del estado en que se encuentra y también puede
borrar el existente e imprimir uno nuevo en su lugar.

2.-Explique los pasos para la construcción de una Máquina Modular de Turing.

20 pts.

R:

1. Se eliminan las características de inicio de los estados iniciales de las máquinas, excepto la
de aquel donde iniciará la máquina.
2. Se eliminan las características de detención de los estados de parada de todas las
máquinas e introduzca un nuevo estado de parada que no se encuentre en ninguno de los
diagramas que se combinan.
3. Para cada uno de los antiguos estados de parada p y cada x en y.

3.-Haga dos ejemplos de lenguajes y dos ejemplos de Expresiones Regulares aceptados para una
MT.

20 pts.

Lenguajes

L={0n 1n : n>0}

Limitando el alfabeto a  = {0,1}

T = {0, 1, B, X, Y}

Siendo B el símbolo en blanco

Y teniendo 5 estados (q0, q1, q2, q3, q4)

q0 estado inicial

q4 estado final

Expresiones Regulares

La MT anterior puede leer expresiones como 000111

Dando un resultado: XXXYYY

Lenguajes

L={an bn : n>0}

Expresiones Regulares

Máquina de Turing que calcula el número consecutivo de un numero dado en binario

Considerando tres estados:

q0,q1,q2

La MT recorre todo el número para ver si es par o impar sin modificar su cinta.

δ(q0,0)=(q0,0,R)

δ(q0,0)=(q0,0,R)

δ(q0,1)=(q0,1,R)

Lee expresiones como 000 y retorna 001

4.- Explique los lenguajes aceptados por la Máquina de Turing

20 pts.

R: Si colocamos una cadena w en la cinta, situamos la cabeza de lectura/escritura sobre el símbolo

del extremo izquierdo de la cadena w y ponemos en marcha la máquina a partir de su estado
inicial.

Entonces la cadena w es aceptada si, después de una secuencia de movimientos, la Máquina de

Turing llega a un estado final y se detiene.

Por tanto, los lenguajes formales que son aceptados por una Máquina de Turing son exactamente
aquellos que pueden ser generados por una gramática formal.