EJERCICIOS DE LA FASE 3

ACTIVIDAD INDIVIDUAL

De acuerdo al último dígito de su cédula o tarjeta de identidad, identifique el ejercicio asignado

en la siguiente tabla:

Esteban Cárdenas Arévalo CC 1.143.947.033

Último dígito de la Ejercicio
Cédula o TI
3y7 Ejercicio 3

1. ACTIVIDAD 1: Maquinas de Turing

Ejercicio 3

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO POR
TRABAJAR

Caracterización de En este espacio se realiza:

la máquina de - Mediante la definición formal explicar las características de
Turing la máquina de Turing:

Máquina de Turing (TM)

M= (Q, Σ, Γ, δ, q0, B, F)
Q: conjunto finito de estados de control
Σ: conjunto finito de símbolos de entrada (Alfabeto)
 Γ: conjunto finito de símbolos de la cinta
δ: función de transición δ (q, X) = (p, Y, D)
 q es un estado, X un símbolo de la cinta
 p es un nuevo estado, en Q;
 Y es un símbolo en Γ que substituir X;
 D es decir R e I es decir L, izquierda o derecha, dirección
en que la cabeza se mueve
q0: estado inicial
B: es el símbolo blanco (el símbolo B no puede hacer parte de
∑) aparece en todas las casillas excepto en aquellas que
contienen los símbolos de entrada
F: conjunto de estados de aceptación o finales

- Realizar un cuadro donde explique las diferencias y

similitudes de las máquinas reconocedoras y Trasductoras

Trasductoras Reconocedoras
•MT capaz de reconocer
• Modifica el contenido un lenguaje L.
de la cinta realizando •MT capaz de aceptar
cierta función. un lenguaje L.

Ejemplos: Una MT RECONOCE un

MT que sustituye los lenguaje L, si dada una
dígitos por cero, entrada (w) en la cinta, la MT
MT que añade un bit SIEMPRE se para, y lo hace
de paridad a la en un EF si y sólo si: w ∈ L
entrada,
MT que duplica el •Una MT ACEPTA un
número de 1s que lenguaje L, si dada una
hay en la cinta entrada (w) en la cinta, la MT
se para en un Estado Final si
•Si la Entrada está y sólo si: w ∈ L
bien formada: debe •Así, en este caso, si w ∉ L,
terminar en un Estado la MT podría no parar.
Final.
Ejemplos:
•Si la Entrada No
está bien formada: MT que reconoce el lenguaje
debe terminar en un a*b*,
Estado No Final. MT que acepta el lenguaje
a n bn cn

Procedimiento de Realice de manera detallada y grafica el procedimiento paso a

paso a paso del paso del recorrido de una cadena (La cadena la selecciona el
recorrido de una estudiante, debe contener como mínimo 10 caracteres) en la
cadena máquina de Turing. Describir cómo funciona el almacenamiento
mediante el uso de las cintas, etc.

- Paso 1…
- Paso 2…
- Paso 3…

Ejemplo 1:

Gráfico

Realizar la representación utilizando flechas, conexiones,

diagramas que permitan ver el funcionamiento de la
máquina de Turing transición por transicion

Para una transición:

δ(q,X)=(p,Y,D)

- Paso 1: Estando en el estado q, la cabeza de la MT señala al

símbolo de cinta X,
- Paso 2: Entonces la MT escribe el símbolo de cinta Y en la
casilla actual (cambia X por Y) y mueve la cabeza una casilla
hacia D (D puede ser derecha, R; o izquierda, L) y pasa al estado
p.
- Paso 3: La cinta de la MT está formada por infinitas casillas.
Inicialmente, la palabra de entrada (una concatenación de
símbolos del alfabeto) se encuentra escrita en casillas
consecutivas de la cinta y la cabeza señala al primer símbolo de
la palabra. Todas las otras casillas (hacia la izquierda y la
derecha) contienen el símbolo en blanco.
Ejemplo 2:
Gráfico

Realizar la representación utilizando flechas, conexiones,

diagramas que permitan ver el funcionamiento de la
máquina de Turing transición por transición

- Paso 1: Inicialmente, la cabeza señala el primer 0. Lo cambia

por X y se desplaza a la derecha en busca del primer 1 para
cambiarlo por Y:
δ(q0,0)=(q1,X,R)
δ(q1,0)=(q1,0,R)
- Paso 2: Es decir, mientras haya 0's, se mantiene en el estado
q1.
δ(q1,1)=(q2,Y,L)
- Paso 3: Ha encontrado el primer 1. Lo cambia por Y y pasa al
estado q2 moviéndose a la izquierda. En este estado, la MT se
mueve hacia la izquierda en busca de X saltando las casillas con
0's:
δ(q2,0)=(q2,0,L)
- Paso 4: Cuando encuentra la X, se mueve hacia la derecha
esperando encontrar un 0 para cambiarlo por X, por lo que pasa
al estado q0:
δ(q2,X)=(q0,X,R)
- Paso 5: Una vez cambiado dicho 0 por X, está en el estado q1.
Ahora tiene que buscar el siguiente 1 y cambiarlo por Y, pero se
encuentra con Y antes de llegar, por lo que tiene que saltar esta
casilla:
δ(q1,Y)=(q3,Y,R)
- Paso 6: En el estado q3 sigue saltando las casillas con Y hasta
llegar al 1:
δ(q3,Y)=(q3,Y,R)
δ(q3,1)=(q2,Y,L)
- Paso 7: Pasa al estado q2 una vez ha cambiado el 1 por la Y.
En este estado, la MT se mueve a la izquierda hasta encontrar
una X. Una vez la encuentra, se mueve una casilla a la derecha.
Si hay un 0, tendrá que empezar el proceso anterior (buscar 1,
cambiarlo por Y y volver a buscar la X, con lo que estaremos de
nuevo en este punto). Si ya no quedan 0's, habrá una Y y, por
 tanto, se han cambiado n 0's por n X 's y n 1's por n Y 's.
Entonces se mueve a la izquierda:
δ(q2,Y)=(q2,Y,L)
- Paso 8: Se encuentra con una X y pasa al estado q0. En este
estado se busca un 0 para cambiarlo por X, pero suponemos que
ya no quedan. Entonces la cabeza debe moverse a la derecha
para comprobar que tampoco quedan más 1's:
δ(q0,Y)=(q0,Y,R)
- Paso 9: Cuando encuentra el primer símbolo en blanco, la MT
finaliza:
δ(q0,B)=(q4,B,R)
- Paso 10: En el caso de que haya más 0's que 1's, llegará un
momento en el que ya no queden 1's (los habrá cambiado por
Y ). La MT se quedará permanentemente en el estado q1 .
Practicar y verificar Apoyándose en el simulador JFlap o VAS ejecutar y validar por
lo aprendido lo menos cinco cadenas válidas y 5 cadenas rechazadas por la
máquina. En este espacio adjunta la imagen.

1. La máquina de Turing creada en el ejemplo es una maquina es:

A. Máquina transductora
B. Maquina reconocedora
C. Maquina calculadora
D. Máquina estabilizadora
 

2. En la máquina de Turing creada de ejemplo el símbolo que representa la cita es:

A.      1
B.      A
C.      L
D.      a

3. En la máquina de Turing creada de ejemplo la cadena que se ejecuta es:

 A.   aa
B.   aab
C.   baa
D.   ab

4. En el ejercicio desarrollado es el video de Códigos Convolucionales Tellis y Viterbi la cadena

que se utiliza es:

A.  10100110
B.  10010110
C.  11010010
D.  01011001

http://ocw.uc3m.es/ingenieria-informatica/teoria-de-automatas-y-lenguajes-formales/material-de-
clase-1/tema-7-maquinas-de-turing