Tarea 4 – Construcción de Maquinas de Turing

Estudiantes:
Bastos Yhair Alberto
Ospina Duarte Diego Alejandro
Ovalle Juan Carlos
Páez Lucía Adriana
Saavedra José Mauricio

Código:
88268989

Tutor: Javier Antonio Ballesteros Ricaurte

Código curso: 301405_26

Universidad Nacional Abierta Y A Distancia UNAD

Vicerrectoría Académica Y De Investigación
Ingeniería En Sistemas
Autómatas Y Lenguajes Formales
2021
 Tabla de contenido
Introducción ........................................................................................................................................................... 3

Tabla de selección de ejercicios ............................................................................................................................. 5

Desarrollo de los ejercicios 1. Literal A,B,C,D y E ............................................................................................... 6

Actividad Grupal 1 ............................................................................................................................................... 54

Actividad grupal 2 ............................................................................................................................................... 58

 Listado de Tablas

Tabla 1. Tabla de selección de Rol y ejercicio. ..................................................................................................... 5

Tabla 2. Desarrollo de Ejercicio 1. Letra A - Adriana Lucía Páez ........................................................................ 6

Tabla 3. Tabla de Transicion. Ejercicio 1A ........................................................................................................... 6

Tabla 4. Cuadro comparativo................................................................................................................................. 7

Tabla 5. .Desarrollo de Ejercicio 1. Letra B - Diego Alejandro Ospina .............................................................. 18

Tabla 6. Desarrollo de Ejercicio 1. Letra C - Yahir Alberto Bastos .................................................................... 30

Tabla 7. Desarrollo de Ejercicio 1. Letra D - Juan Carlos Ovalle ...................................................................... 38

Tabla 8.Desarrollo de Ejercicio 1. Letra E - José Mauricio Saavedra ................................................................. 46

Tabla 9. Algoritmo de Convolución .................................................................................................................... 59

Introducción
 En el siguiente trabajo se desarrollará la solución y compilación de los ejercicios correspondientes al grupo 26,

De la tarea 4 – Construcción de Maquinas de Turing para la materia de Autómatas y Lenguajes formales. La guía

presentaba la información resumida en 6 pasos. Los pasos 1, 2, 3 y 4 se desarrollaron de forma individual y los

pasos 5 y 6, se desarrollaron de manera colaborativa entre los 5 integrantes del grupo.

Cada Tabla de los ejercicios desarrollados contará con el nombre del participante que los realizó para una

mayor identificación. Posteriormente a esta sección se encontrará la realización de los dos ejercicios grupales.
 Tabla de selección de ejercicios

Tabla 1. Tabla de selección de Rol y ejercicio.

Nombre del estudiante Rol a Grupo de ejercicios a

desarrollar desarrollar
Adriana Lucia Páez Revisor Desarrolla los ejercicios A
Diego Alejandro Ospina Evaluador Desarrolla los ejercicios B
Yahir Alberto Bastos Solano Entrega Desarrolla los ejercicios C
Juan Carlos Ovalle G Alerta Desarrolla los ejercicios D
José Mauricio Saavedra Compilador Desarrolla los ejercicios E
 Desarrollo de los ejercicios 1. Literal A,B,C,D y E

Tabla 2. Desarrollo de Ejercicio 1. Letra A - Adriana Lucía Páez

Ejercicio A
Trabajar

Ilustración 1. Ejercicio 1.A

Caracterizaciónde
la máquina de Formalmente una máquina de Turing se define como la 7-tupla
Turing MT= {𝑄, ∑, 𝑟, 𝛿, 𝑞0, 𝐵, 𝐹} donde:

Q= es el conjunto finito de estados.

∑= es un conjunto finito de símbolos de entrada.
R= es el conjunto finito de símbolos que puede reconocer la
máquina, el alfabeto ∑ ∈ r
𝛿 = es la función de transición 𝛿(𝑞𝑖, 𝜎) ⟶ (𝑞𝑘, 𝑟, 𝑅 |𝐿)
𝜆 = función de salida 𝑄 × ∑ ⟶ 𝑆, 𝜆(𝑞𝑖, 𝑎) ⟶ s, donde s ∈
𝑠, 𝑞 ∈ 𝑄 𝑦 𝑎 ∈ ∑.
q0= estado inicial
B= es el símbolo blanco, la celda vacía

Q= {q0, q1, q2, q4}

∑= {0,1}
r = {0,1, B} ∑ ∈ r
𝛿 = es la función de transición 𝛿(𝑞𝑖, 𝜎) ⟶ (𝑞𝑘, 𝑟, 𝑅 |𝐿)
𝜆 = función de salida 𝑄 × ∑ ⟶ 𝑆, 𝜆(𝑞𝑖, 𝑎) ⟶ s, donde s ∈
𝑠, 𝑞 ∈ 𝑄 𝑦 𝑎 ∈ ∑.
q0= estado inicial
B= es el símbolo blanco, la celda vacía
F = {q4} estado final

Tabla de transición

Tabla 3. Tabla de Transicion. Ejercicio 1A

0 1 B
q0 (q0,0, R) (q0,1, R) (q1, B, L)
q1 (q2,1, L)
q2 (q2,0, L) (q2,1, L) (q4, B, R)
q4
 cuadro donde explique las diferenciasy similitudes de las
máquinas reconocedoras y Transductores cada una con su
respectivo ejemplo.

Tabla 4. Cuadro comparativo

Máquina de Turing Máquina de Turing

transductora reconocedora

• Si la palabra no hace • Es suficiente identificar

parte del lenguaje no se lo que se considera el
pide a la estado final (receptor).
MT que se pare • Cuando se acepta una
• Se puede decir que es palabra, TM es
un convertidor que identificable, si la
calcula una función en descripción inicial
una cadena en vez de alcanza la descripción
calcularla en un del estado final.
conjunto de números • Modifica la entrada
enteros.
• Tienen un conjunto Ejemplos:
finito de estados. • acepta palabras que
• Tiene máquinas de terminan y comienzan
mealy y moore. con el mismo símbolo.
• máquinas de estados/ • acepta una cadena de
maquinas secuenciales. símbolos esparcidos
en un orden
Ejemplos: específico.
• Si la entrada está
• separa una palabra en bien hecha, debe
dos. finalizar en un
• Desplazar los símbolos estado final.
un número de veces a
derecha o izquierda

Procedimiento de La cadena a introducir en la maquina es:

paso a paso 1010101100
del recorrido de
una cadena • Paso 1
La cinta TM está compuesta por infinitos cuadrados. En el
estado inicial q0, la cabeza de TM apunta al símbolo de cinta
1, que es el primer símbolo que introdujimos. En el estado
inicial, tiene las siguientes transiciones.

𝛿(𝑞0,0) = (𝑞0,0, 𝑅)
𝛿(𝑞0,1) = (𝑞0,1, 𝑅)
𝛿(𝑞0, 𝐵) = (𝑞1, 𝐵, 𝐿)

• Paso 2
 La máquina escribe el símbolo de cinta 1 en el cuadro
actual y mueve la cabeza un cuadro R hacia la derecha y
mantiene el estado q0. Según la transición, mientras haya 1 y
0, se mantiene el estado q0.
Primero ha recorrido 1 en la cadena.
La transición es la siguiente:

𝛿(𝑞0,1) = (𝑞0,1, 𝑅)

1 0 1 0 1 0 1 1 0 0

Movimiento

Ilustración 2.Cinta Ejercicio 1A

Ilustración 3. Revisión en JFLAP Ejercicio 1A

Después lee un cero, escribe un 0, se mueve a la derecha

en la cinta y permanece en q0, se ha recorrido 10 en la
cadena.

𝛿(𝑞0,0) = (𝑞0,0, 𝑅)

1 0 1 0 1 0 1 1 0 0

Movimiento

Ilustración 4. Revisión en JFLAP Ejercicio 1A

Después lee un 1, escribe un 1, se desplaza a la derecha en

la cinta y permanece en q0, ha recorrido 101 en la cadena.

𝛿(𝑞0,1) = (𝑞0,1, 𝑅)

1 0 1 0 1 0 1 1 0 0

Movimiento
Ilustración 5. Revisión en JFLAP Ejercicio 1A

Después lee un 0, escribe un 0, se desplaza a la derecha en

la cinta y permanece en q0, ha recorrido 1010 en la cadena.

𝛿(𝑞0,0) = (𝑞0,0, 𝑅)

1 0 1 0 1 0 1 1 0 0

Movimiento

Ilustración 6. Revisión en JFLAP Ejercicio 1A

Después lee un 1, escribe un 1, se desplaza a la derecha en

la cinta y permanece en q0, ha recorrido 10101 en la cadena.

𝛿(𝑞0,1) = (𝑞0,1, 𝑅)

1 0 1 0 1 0 1 1 0 0

Movimiento
Ilustración 7.Revisión en JFLAP Ejercicio 1A

Después lee un 0, escribe un 0, se desplaza a la derecha en

la cinta y permanece en q0, ha recorrido 101010 en la
cadena.

𝛿(𝑞0,0) = (𝑞0,0, 𝑅)

1 0 1 0 1 0 1 1 0 0

Movimiento

Ilustración 8.Revisión en JFLAP Ejercicio 1A

Después lee un 1, escribe un 1, se desplaza a la derecha en

la cinta y permanece en q0, ha recorrido 1010101 en la
cadena.

𝛿(𝑞0,1) = (𝑞0,1, 𝑅)

1 0 1 0 1 0 1 1 0 0

Movimiento

Ilustración 9. Revisión en JFLAP Ejercicio 1A

Después lee un 1, escribe un 1, se desplaza a la derecha en

la cinta y permanece en q0, ha recorrido 10101011 en la
cadena.
 𝛿(𝑞0,1) = (𝑞0,1, 𝑅)

1 0 1 0 1 0 1 1 0 0

Movimiento

Ilustración 10.Revisión en JFLAP Ejercicio 1A

Luego lee un 0, escribe un 0, se mueve a la derecha en la

cinta y permanece en q0, ha recorrido 101010110 en la
cadena.

𝛿(𝑞0,0) = (𝑞0,0, 𝑅)}

1 0 1 0 1 0 1 1 0 0

Movimiento

Ilustración 11. Revisión en JFLAP Ejercicio 1A

Después lee un 0, escribe un 0, se desplaza a la derecha en

la cinta y permanece en q0, ha recorrido 1010101100 en la
cadena.

𝛿(𝑞0,0) = (𝑞0,0, 𝑅)

1 0 1 0 1 0 1 1 0 0

Movimiento
Ilustración 12.Revisión en JFLAP Ejercicio 1A

• Paso 3
Al no haber más ceros o unos y moverse a la derecha, la
MT lee un espacio vacío B.

𝛿(𝑞0, 𝐵) = (𝑞1, 𝐵, 𝐿)

1 0 1 0 1 0 1 1 0 0

Movimiento

Ilustración 13.Revisión en JFLAP Ejercicio 1A

Después se lee un B, escribe un B en la cinta, se desplaza

a la izquierda una casilla y pasa al estado q1.

1 0 1 0 1 0 1 1 0 0

Movimiento
Ilustración 14.Revisión en JFLAP Ejercicio 1A

• Paso 4
Al mover un cuadrado hacia la izquierda, el MT lee el
último cero de la cadena y hacemos la siguiente transición en
el estado q1.

𝛿(𝑞1,0) = (𝑞2,1, 𝐿)

1 0 1 0 1 0 1 1 0 0

Movimiento

Ilustración 15.Revisión en JFLAP Ejercicio 1A

Por tanto, lee un 0, y escribe un 1, se desplaza una casilla

a la izquierda y pasa al estado q2, la cadena queda ahora
como 1010101101.

• Paso 5
Al mover un cuadrado hacia la izquierda, el MT lee el
siguiente 0 hacia la izquierda de la cadena y tenemos las
siguientes transiciones en el estado q2.

𝛿(𝑞2,0) = (𝑞2,0, 𝐿)
𝛿(𝑞2,1) = (𝑞2,1, 𝐿)

1 0 1 0 1 0 1 1 0 0

Movimiento
Ilustración 16.Revisión en JFLAP Ejercicio 1A

1 0 1 0 1 0 1 1 0 0

Movimiento

Ilustración 17.Revisión en JFLAP Ejercicio 1A

1 0 1 0 1 0 1 1 0 0

Movimiento

Ilustración 18. Revisión en JFLAP Ejercicio 1A

1 0 1 0 1 0 1 1 0 0

Movimiento

Ilustración 19. Revisión en JFLAP Ejercicio 1A

Ilustración 20. Revisión en JFLAP Ejercicio 1A

1 0 1 0 1 0 1 1 0 0

Movimiento

Ilustración 21. Revisión en JFLAP Ejercicio 1A

1 0 1 0 1 0 1 1 0 0

Movimiento

Ilustración 22. Revisión en JFLAP Ejercicio 1A

1 0 1 0 1 0 1 1 0 0

Movimiento
Ilustración 23. Revisión en JFLAP Ejercicio 1A

Por lo tanto, la maquina lee un 0, escribe un 0, desplaza

un cuadro a la izquierda y mantiene el estado q2. De acuerdo
con la conversión anterior, MT continúa leyendo la cadena y
reescribe a la izquierda, mientras busca ceros y unos, hasta
que encuentra un espacio vacío B.

1 0 1 0 1 0 1 1 0 0

Movimiento

Ilustración 24. Revisión en JFLAP Ejercicio 1A

• Paso 6
Cuando finaliza de moverse sobre la cadena hacia la
izquierda, la MT lee un espacio vacío B

𝛿(𝑞2, 𝐵) = (𝑞4, 𝐵, 𝑅)

1 0 1 0 1 0 1 1 0 0

Movimiento
 Ilustración 25. Revisión en JFLAP Ejercicio 1A

Por último, la maquina lee un B, escribe un B, desplaza

un cuadro hacia la derecha y entra en el estado q4, y el
movimiento permanece en la primera cinta de la cadena, y no
hay más movimiento, porque no hay transición en el estado
q4, es el estado final.

Practicar y verificar
lo aprendido • Cadenas aceptadas

1010100000

Ilustración 26.Revisión en JFLAP Ejercicio 1A

1111100000

0000111000

1101000010
 • Cadenas rechazadas

0011001101

0101010101

0111000111

1100100001

Letra B

Tabla 5. .Desarrollo de Ejercicio 1. Letra B - Diego Alejandro Ospina

Ejercicio A Registre aquí el Ejercicio a trabajar.

Trabajar
 Ilustración 27. Ejercicio 1.B

Caracterización Definición formal

de la máquina de Formalmente una máquina de Turing se define como la 7-tupla

MT= {𝑄, ∑, 𝑟, 𝛿, 𝑞0, 𝐵, 𝐹}
turing
donde:
Q= es el conjunto finito de estados.
∑= es un conjunto finito de símbolos de entrada.
R= es el conjunto finito de símbolos que puede reconocer la
máquina, el alfabeto ∑ ∈ r
𝛿 = es la función de transición 𝛿(𝑞𝑖, 𝜎) ⟶ (𝑞𝑘, 𝑟, 𝑅 |𝐿)
𝜆 = función de salida 𝑄 × ∑ ⟶ 𝑆, 𝜆(𝑞𝑖, 𝑎) ⟶ s, donde s ∈
𝑠, 𝑞 ∈ 𝑄 𝑦 𝑎 ∈ ∑.
q0= estado inicial
B= es el símbolo blanco, la celda vacía

Q= {q0, q1, q2, q4}

∑= {0,1}
r = {0,1, B} ∑ ∈ r
𝛿 = es la función de transición 𝛿(𝑞𝑖, 𝜎) ⟶ (𝑞𝑘, 𝑟, 𝑅 |𝐿)
𝜆 = función de salida 𝑄 × ∑ ⟶ 𝑆, 𝜆(𝑞𝑖, 𝑎) ⟶ s, donde s ∈
𝑠, 𝑞 ∈ 𝑄 𝑦 𝑎 ∈ ∑.
q0= estado inicial
B= es el símbolo blanco, la celda vacía
F = {q4} estado final

Tabla de transición
 a b c
q0 (q0,a, R) (q1,a, R) (q2, a, R)
q1 (q0,b, L) (q2,a, R)
q2

Diferencias y similitudes de las máquinas reconocedoras y

Transductores cada una con su respectivo ejemplo.

Máquina de Turing Máquina de Turing

reconocedora transductora

Una máquina de Turing Si la entrada está bien

es capaz de reconocer o formada: debe terminar en

aceptar un lenguaje L un estado final.

Una máquina de Turing Si la entrada no está

reconoce un lenguaje L, si bien formada: debe

para cualquier entrada en la terminar en un estado no

cinta, w, la máquina de final.

Turing siempre se para, y

lo hace en un estado final si

y solo si w pertenece a L Ejemplo: Este consiste

en que la máquina de

Una máquina de Turing Turing realice el proceso

acepta un lenguaje L, si de que sustituye los dígitos

para cualquier entrada en la por cero

cinta, w, la máquina de
 Turing se para en un estado

final si y solo si: w

pertenece a L

Ejemplo:

Una máquina de Turing

que reconoce el lenguaje

a*b*, MT que acepta el

lenguaje 𝑎𝑛 𝑏 𝑛 𝑐 𝑛

Procedimiento Gráfico

de paso a paso del La Cadena es ababbababb

recorrido de una

cadena

Paso1: Estando en q0, la cabeza de TM apunta al símbolo de

cinta a, que es el primer símbolo que introdujimos y se mueve
hacia la derecha.
 Paso2: La MT mueve la cabeza una casilla hacia la derecha y

escribe la letra b en la cinta, quedandose en el mismo estado q0.

Paso3: La MT mueve la cabeza una casilla hacia la derecha,

pasando al estado q1 y escribe la letra a en la casilla actual, pero se

cambia la letra b de la casilla anterior por a.

bb

Paso3: La MT mueve la cabeza una casilla hacia la derecha y

escribe el numero 1 en la cinta, quedandose en el mismo estado q0

 Paso4: La MT mueve la cabeza una casilla hacia la derecha y

escribe la letra b en la cinta, quedandose en el mismo estado q0

Paso5: La MT mueve la cabeza una casilla hacia la derecha,

pasando al estado q1 y escribe la letra b en la casilla actual, pero se

cambia la letra b de la casilla anterior por a.

Paso6: La MT mueve la cabeza una casilla hacia la derecha,

pasando al estado q2 y escribe la letra b en la casilla actual, pero se

cambia la letra b de la casilla anterior por a.

 Practicar y En el simulador JFlap

verificar lo

aprendido
Cadenas aceptadas

• aaabbbaaab
• bbbbbbbbbb
• aaaabbbbaa
• bbaaaaabbb
• abbbbbbbbb
• bababababa
Letra C
Tabla 6. Desarrollo de Ejercicio 1. Letra C - Yahir Alberto Bastos

EJERCICIO A
TRABAJAR

Ilustración 28. Ejercicio 1.C

Caracterización En este espacio se realiza:

de la máquina de Mediante la definición formal explicar las características
turing de la máquina de Turing, mediante la séptupla.
- Q = Conjunto finito de estados de control.
𝑄 = {𝑞0 , 𝑞1 , 𝑞2 }
- ∑= es un conjunto finito de símbolos de entrada.
∑{0,1}
- Γ= El alfabeto de la cinta.
Γ = {0,1, 𝐵}
- 𝛿 = es la función de transición.
𝛿(𝑞0 , 0) = (𝑞0, 0, 𝑅)
 𝛿(𝑞0 , 1) = (𝑞1, 1, 𝑅)
𝛿(𝑞1 , 0) = (𝑞1, 0, 𝑅)
𝛿(𝑞1 , 1) = (𝑞0, 1, 𝑅)
𝛿(𝑞0 , 𝐵) = (𝑞2, 𝐵, 𝑆)
𝛿(𝑞1 , 𝐵) = (𝑞2, 1, 𝑆)

- 𝜆 = función de salida 𝑄 × ∑ ⟶ 𝑆, 𝜆(𝑞𝑖, 𝑎) ⟶ s, donde s ∈

𝑠, 𝑞 ∈ 𝑄 𝑦 𝑎 ∈ ∑.
- Estado inicial.
𝑞0
- B= es el símbolo blanco, la celda vacía.

- F = Conjunto de estados finales o de aceptación.

𝐹 = {𝑞2 }

- Tabla de transición.
0 1 B

q0 (𝑞0, 0, 𝑅) (𝑞1, 1, 𝑅) (𝑞2, 𝐵, 𝑆)

q1 (𝑞1, 0, 𝑅) (𝑞0, 1, 𝑅) (𝑞2, 1, 𝑆)

q2

- Realizar un cuadro donde explique las diferencias y

similitudes de las máquinas reconocedoras y Tras ductoras

Maquinas Transductoras Maquinas

Reconocedoras

Las maquinas De igual forma las

transductoras en reconocedoras reciben una

comparación con las entrada, pero su salida

reconocedoras reciben depende únicamente del

siempre una señal de estado y debe existir un estado

entrada, pero su proceso inicial y su salida siempre es

para llegar a una salida no binaria, en las maquinas

 depende solo del estado, se reconocedoras los estados que

tiene que tener en cuenta la tengan una salida positiva se

entrada actual y pueden denominan como estados

prescindir de un estado finales.

inicial su salida puede ser

binaria o más compleja.

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.

Cadena de entrada 000101110_

Gráfico

Para aclarar en la imagen del grafico podemos observar que

finaliza con una entrada de (_) guion abajo, esto indica un
símbolo blanco B, celda vacía.
 - Paso 1: Inicialmente, la cabeza señala el primer 0. Lo

cambia por 0 y se desplaza a la derecha en busca del primer 0

para cambiarlo por 0:

𝛿(𝑞0 , 0) = (𝑞0, 0, 𝑅)

𝛿(𝑞0 , 0) = (𝑞0, 0, 𝑅)

𝛿(𝑞0 , 0) = (𝑞0, 0, 𝑅)

Es decir, mientras haya 0's, se mantiene en el estado q0.

- Paso 2: Ha encontrado el primer 1. Lo cambia por 1 y pasa al

estado q1 moviéndose a la derecha.

𝛿(𝑞0 , 1) = (𝑞1, 1, 𝑅)

- Paso 3: Cuando se mueve hacia la derecha encuentra un 0

para cambiarlo por 0, por lo que queda en el mismo estado q1:

𝛿(𝑞1 , 0) = (𝑞1, 0, 𝑅)
 - Paso 4: Ha encontrado un 1. Lo cambia por 1 y pasa al estado

q0 moviéndose a la derecha.

- Paso 5: Ha encontrado un 1. Lo cambia por 1 y pasa al estado

q1 moviéndose a la derecha.

- Paso 6: Ha encontrado un 1. Lo cambia por 1 y pasa al estado

q0 moviéndose a la derecha.
 - Paso 7: Ha encontrado un 0. Lo cambia por 0 y se queda en

el estado q0 moviéndose a la derecha.

- Paso 7: Ha encontrado una cadena vacía. Lo cambia por nada

porque tiene una cadena vacía y se queda en el estado q0 sin

movimiento.

- Paso 8: No hubo movimiento y la cadena de entrada era vacía

pasa al estado q2 que es el estado de aceptación, la cadena de

entrada era vacía y la cadena de la cinta es vacía sin movimiento

se queda en el estado de aceptación.

Practicar y verificar Apoyándose en el simulador JFlap o VAS ejecutar y validar
lo aprendido por lo menos cinco cadenas válidas y 5 cadenas rechazadas por
la máquina. En este espacio adjunta la imagen.
Letra D

Tabla 7. Desarrollo de Ejercicio 1. Letra D - Juan Carlos Ovalle

EJERCICIO A
TRABAJAR

Caracterización de En este espacio se realiza:

la máquina deTuring
Las características de la máquina de Turing:

• "Es un dispositivo de reconocimientos de lenguaje, es más general que cualquier

autómata finito y cualquier autómata de pila, debido a que ellas pueden
reconocer tanto los lenguajes regulares, como los lenguajes independientes de
contexto y además muchos otros tipos de lenguajes."
• Tiene, un control finito, un cabezal lector/escritor y una cinta infinita en la que
el cabezal lee el contenido, borra el contenido anterior y escribe un nuevo valor.
• Su funcionamiento se basa en una función de transición, que recibe un estado
inicial y una cadena de caracteres (la cinta, la cual es finita por la izquierda)
pertenecientes al alfabeto de entrada.
• El cómputo es determinado a partir de una tabla de estados de laforma: (estado,
valor) (nuevo estado, nuevo valor, dirección)
• La máquina de Turing consiste en una cinta infinitamente larga con unos y ceros
que pasa a través de una caja. La caja es tan fina que solo el trozo de cinta que
ocupa un bit (0 ó 1) está en suinterior. La máquina tiene una serie de estados
internos finitos que también se pueden numerar en binario.

- Realizar la tabla de transición

𝛿 (q0, a) = (q0, a, R)
𝛿 (q0, b) = (q1, a, R)
𝛿 (q1, b) = (q1, b,
R)
𝛿 (q1, a) = (q0, b, L)
𝛿 (q1,⊡) = (q2,⊡,
R)
- Realizar un cuadro donde explique las diferencias y similitudesde las
máquinas reconocedoras y Transductoras.

Maquina Reconocedora Transductora

la cinta puede quedar con Se puede considerar queuna
cualquier cosa y el cabezal máquina de Turing computa
también puede quedar en una
cualquier posición determinada función sobre
una cadena (o un conjunto de
Si la cadena es aceptada, ellas) en lugar de computarla
la máquina pare en un estado sobre un conjunto de enteros.
final Determina si la cadena
es válida o no, según algún Convierten una
criterio. secuencia de señales de entrada
en una secuencia de salida,
Reconoce un pudiendo ser binaria o mucho
Diferencias lenguaje L, si para cualquier más compleja, dependiendo de
entrada en la cinta, w, se la entrada actual.
acabaparando, y lo hace en Son de mayor interés en
un estado final si y sólo si w la electrónica digital y la
Є L. computación práctica

Acepta un lenguaje L,
si al analizar una palabra
w, se para enun estado
final si y
sólo si w Є L.
Ambos tipos de máquinas siguen siendo Autómatas, las
Transductoras son una variación de las Aceptadoras.

En estas máquinas existe una función (la llamaremos

función de salida) que puede tomar como parámetro el estado
actual o la transición de nuestra máquina y arroja un elemento
Similitudes del conjunto de símbolos de salida.

Existe otra función (la llamaremos función estado)que nos

indicara el estado siguiente que deberá adoptar nuestra
máquina según el carácter leído de la cadena de entrada y el
estado.
 Procedimiento de Realice de manera detallada y grafica el procedimiento paso a paso del recorrido de
paso a paso del una cadena (La cadena la selecciona el estudiante, debe contener como mínimo 10
recorrido de una caracteres) en la máquina de Turing. Describir cómo funciona el almacenamiento
cadena mediante el uso de las cintas, etc.

Realizar la representación utilizando flechas, conexiones, diagramas que

permitan ver el funcionamiento de la máquinade Turing transición por transición

La cadena a validar es: aaabbaaabb

δ(q0, a)=(q0, a, R)
- Paso 1: Inicialmente la maquina realiza el proceso por medio de la estrella de
Kleene, estamos en el estado q0. La máquina lee una a siencuentra una entonces escribe
una a y se dirige hacia la derecha quedando en q0.

La máquina vuelve y evalúa la cinta donde se repite el procedimiento,lee una a y si

encuentra una entonces escribe una a y sigue hacia la derecha. Este procedimiento sigue
hasta que en la cadena evalué la situación con la lectura de una b.
 δ(q0, b)=(q1, a, R)

Cuando la maquina esta en este punto, entonces evalúa en la cadena si lee una
b, entonces escribe una a y sigue hacia la derechaquedando en el estado q1.

δ(q1, b)=(q1, b, R)

Ahora en la cadena si se lee una b, se escribe una b y sigue hacia laderecha.

 Ahora en la cadena se evalúa si se lee una a, entonces se escribe una b y se
dirige hacia la izquierda según la maquina; quedando enel estado q0.

Estando en el estado q0, entonces en la maquina se busca leer unab y si se

encuentra entonces se escribe un a y se prosigue hacia la derecha quedando en el
estado q1.
 Ahora en estando en el estado q1 se busca leer una b y si se encuentraentonces se
escribe una b y prosigue hacia la derecha, en este caso queda en el estado q1 por la
estrella de kleene.

Se prosigue en el mismo estado q1, el cual se busca leer una a y si se encuentra

entonces se escribe una b y prosigue hacia la izquierdaquedando en el estado q0.

Estando en estado q0, entonces se busca leer una b y si se encuentraentonces se

escribe una a y se prosigue hacia la derecha quedando en el estado q1.
 En el estado q1 se busca leer ahora una b y si se encuentra entoncesse escribe una
a b y prosigue hacia la derecha. Lo que quiere decir que se queda en el estado q1 por
la estrella de kleene.

Ahora se busca leer una a, si se encuentra entonces se escribe unab y prosigue

hacia la izquierda, quedando en el estado q0.

Estando en el estado q0, entonces se busca leer una b y si se encuentra entonces

se escribe una a y prosigue hacia la derecha, quedando en el estado q1.
 Ahora estado en el estado q1, se busca leer una b y si esta se encuentra entonces
se escribe una b y prosigue hacia la derecha, quedando en el estado q1. Este proceso
se repite n cantidad de veces hasta que la cadena evalúa el vacío puesto que se
encuentra en unaestrella de kleene.

Cuando la maquina se encuentra en el estado q1 y evalúa si existe un vacío,

entonces se escribe vacío y prosigue hacia la derecha, quedando en el estado de
aceptación q2 y concluyendo la cadena vali
 Letra E

Tabla 8.Desarrollo de Ejercicio 1. Letra E - José Mauricio Saavedra

Ejercicio a Imagen de ejercicio a trabajar

trabajar

Caracterización de la máquina de • Definición formal

Turing Una máquina de Turing , Según Alfonseca(2000) es “un dispositivo

que manipula símbolos sobre una tira de cinta de acuerdo con una tabla

de reglas”. En consecuencia, una máquina de Turing también es llamada

una máquina universal de Turing (UTM).

• Identificación de la séptupla de la maquina

Una máquina de Turing puede ser definida mediante su séptupla,

la cual está definida de la siguiente manera:

𝑀𝑇 = (𝑄 , ∑ , 𝛿, 𝑄0 , 𝐵, 𝐹)

𝑄 = {𝑞 0 , 𝑞 1 , 𝑞 2 }

𝐵 = 𝑆𝑖𝑚𝑏𝑜𝑙𝑜 𝑏𝑙𝑎𝑛𝑐𝑜, 𝑐𝑒𝑙𝑑𝑎 𝑣𝑎𝑐í𝑎

∑ = {0,1}
𝑄0= 𝑄0

Γ = {0,1}
𝐹 = 𝑞2
𝛿 = es la función de transición 𝛿(𝑞𝑖, 𝜎) ⟶ (𝑞𝑘, 𝑟, 𝑅 |𝐿)
𝜆 = función de salida 𝑄 × ∑ ⟶ 𝑆, 𝜆(𝑞𝑖, 𝑎) ⟶ s, donde s ∈ 𝑠, 𝑞 ∈
𝑄 𝑦 𝑎 ∈ ∑.
Funciones de transición

𝛿(𝑞0, 0) = {(𝑞0, 0, R)}

𝛿(𝑞0, 1) = {(𝑞0, 1, R)}
𝛿(𝑞0, □) = {(𝑞1 , □, L)}
𝛿(𝑞1, 1) = {(𝑞1, 0, L)}
𝛿(𝑞1, □) = {(𝑞2 , 1, L)}
𝛿(𝑞1, 0) = {(𝑞2 , 1, L)}
𝛿(𝑞1, 0) = {(𝑞2 , 1, R)}

• Plasme la tabla de transición

0 1 □
q0 (q0,0, R) (q0,1, R) (q1, □, L)
q1 (𝑞2 , 1, R) , (𝑞2 , 1, L) (𝑞1, 0, L) (𝑞1, 0, L)

Máquina de Turing Reconocedora Máquina de Turing

Transductora
Decidir Si La Cadena Es Transformar La

Válida O No, Según Algún Entrada

Criterio
 Si La Palabra No Pertenece Al Debe Acabar En

Lenguaje No Se Exige A La Estado No Final Para

MT Que Se Pare Indicar El Error En La

Entrada

Maneja dos conceptos: Realiza Un Cálculo:

reconocer, aceptar

- Una máquina de - Si La Entrada Está

Turing reconoce un lenguaje l, Bien Formada, Debe

si para cualquier entrada en la Terminar En Un

cinta, w, se acaba parando, y lo Estado Final.

hace en un estado final si y

sólo si𝑤 ∈ 𝐿.

- una máquina de - Si la entrada no está

Turing acepta un lenguaje L Si, bien formada, debe

Al Analizar Una Palabra W, Se terminar en un estado

Para En Un Estado Final Si Y no final.

Sólo Si 𝑤 ∈ 𝐿

Procedimiento paso a paso del

recorrido de una cadena Cadena: 0101101011

Gráfico inicial
Cinta
Cabezal de lectura

□ □ 0 1 0 1 1 0 1 0 1 1 □ □

Movimiento a la Movimiento a la Derecha

Izquierda
 Paso 1: Estando en el estado 𝑄0 , la cabeza de la MT señala el número

0 en la cinta.

□ □ 0 1 0 1 1 0 1 0 1 1 □ □

Paso 2: La MT mueve la cabeza una casilla hacia la Derecha y escribe

el número 1 en la cinta, quedándose en el mismo estado.

□ □ 0 1 0 1 1 0 1 0 1 1 □ □

- Paso 3: La cinta de la MT se desplaza nuevamente a la derecha y

escribe el número 0 en la cinta, en la casilla actual

□ □ 0 1 0 1 1 0 1 0 1 1 □ □
 Paso 4: La cinta de la MT está formada por 7 casillas más, las cuales

se desplazan hacia la derecha una por una pasando por los números de

cinta (1-1-0-1-0-1-1).

□ □ 0 1 0 1 1 0 1 0 1 1 □ □

Paso 5: Al terminar de pasar por las 7 casillas restantes, la cinta de la

MT se desplaza a la derecha a una posición vacía de la cinta, siguiendo en

el mismo estado.

□ □ 0 1 0 1 1 0 1 0 1 1 □ □
 Paso 6: La cinta de la MT pasa al estado 𝑄1 desplazándose hacia la

izquierda, escribiendo el número 1 en la cinta.

□ □ 0 1 0 1 1 0 1 0 1 1 □ □

Paso 7: La cinta de la MT nuevamente se desplaza hacia la izquierda y

escribe el número 1 en la cinta de la casilla actual, pero se cambia el

número 1 de la casilla anterior por 0, quedándose en el mismo estado.

□ □ 0 1 0 1 1 0 1 0 1 0 □ □

Paso 8: La cinta de la MT nuevamente se desplaza hacia la izquierda,

siguiendo en el mismo estado y escribe el número 0 en la cinta de la casilla

actual, pero se cambia el número 1 de la casilla anterior por 0

□ □ 0 1 0 1 1 0 1 0 0 0 □ □
 Paso 9: La cinta de la MT se desplaza nuevamente hacia la izquierda

pasando al estado final 𝑄2 y escribe el número de cinta 1 en la casilla

actual, pero quedando en la cinta el número 1 en la casilla anterior.

□ □ 0 1 0 1 1 0 1 1 0 0 □ □

Practicar y verificar lo

aprendido Cadenas aceptadas

Cadenas Rechazadas
 Actividad Grupal 1

Ejercicio Para
Trabajar

Caracterizaci En este espacio se realiza:

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

Una máquina de Turing se define mediante una séptupla.

M= (∑, Q, Γ, s, b, f, δ)
Done
∑= {0, 1}, alfabeto de entrada
Q= {q0, q1, q2, q4}, conjunto de estados
Γ= {0, 1}, alfabeto de cinta
s= {q0}, estado inicial
b= Símbolo de espacio en blanco
f= {q3}, estado final
δ= {Q*Γ}-> {Q*Γ*L, R}, función de transición
 δ 0 1
q0 (q0,0,R) (q0,1,R) (q1, ,L)
q1 (q2,1,L)
q2 (q2,0,L) (q2,1,L) (q4, ,R)
*q3

Procedimiento - Paso 1: Utilizamos la siguiente cadena {1100□□110}

paso a paso
recorrido de una - Paso 2: En la primera transición la MT se encuentra en el estado
cadena q0.
1 1 0 0 1 1 0

δ 0 1
q0 (q0,0,R) (q0,1,R) (q1, ,L)
q1 (q2,1,L)
q2 (q2,0,L) (q2,1,L) (q4, ,R)
*q3

De acuerdo a la tabla de transición con el símbolo 1, MT sigue en

el estado q0 marca 1 y se mueve hacia la derecha.

- Paso 3: La posición del cabezal en la cinta en el estado q0 es el

siguiente

1 1 0 0 1 1 0
movimiento

En esta transición marca 1 en la cinta, sigue en el estado q0 y se

mueve hacia la derecha.
- Paso 4: La posición del cabezal en el estado q0 es el siguiente

1 1 0 0 1 1 0
Movimiento

En esta transición marca 0 en la cinta, sigue en el estado q0 y se

mueve a la derecha.

- Paso 5: La posición del cabezal en el estado q0 es el siguiente

1 1 0 0 1 1 0
 Movimiento

En esta transición marca 0 en la cinta, sigue en el estado q0 y se

mueve a la derecha.

- Paso 6: La posición del cabezal en el estado q0 es el siguiente

1 1 0 0 1 1 0
Movimiento

En esta transición marca en la cinta, pasa al estado q1 y se

mueve a la izquierda.

- Paso 7: La posición del cabezal en el estado q1 es el siguiente

1 1 0 0 󠆡 1 1 0
Movimiento

En esta transición marca 1 en la cinta, pasa al estado q2 y se mueve

a la izquierda.

- Paso 8: La posición del cabezal en el estado q2 es el siguiente

1 1 0 1 󠆡 1 1 0
Movimiento

En esta transición marca 0 en la cinta, sigue en el estado q2 y se

mueve a la izquierda.

- Paso 9: La posición del cabezal en el estado q2 es el siguiente

1 1 0 1 󠆡 1 1 0
Movimiento

En esta transición marca 1 en la cinta, sigue en el estado q2 y se

mueve a la izquierda.

- Paso 10: La posición del cabezal en el estado q2 es el siguiente

1 1 0 1 󠆡 1 1 0
Movimiento
 En esta transición marca 1 en la cinta, sigue en el estado q2 y se
mueve a la izquierda.

- Paso 8: La posición del cabezal en el estado q2 es el siguiente

󠆡 1 1 0 1 󠆡 1 1 0
Movimiento

En esta transición marca en la cinta, pasa al estado final q3 y se

mueve a la derecha.

- Paso 9: observamos la diferencia entre la cadena de entrada y la

cadena de salida.

Entrada:
1 1 0 0 1 1 0

Salida (los símbolos en negrilla se cambiaron)

1 1 0 1 󠆡 1 1 0

Practicar y
verificar lo
aprendido
 Actividad grupal 2

Código Convolucional

Desarrolle el siguiente ejercicio: Asuma que hubo error en el dato recibido en el par de bits

codificados 2, 5 y 8 con distancia de haming.

Teniendo en cuenta que el dato de entrada es: 00100001

1. Realice el diagrama de árbol. (Complete la tabla)

Tabla de Datos, Estados y Datos Codificados

Utilizamos el algoritmo de convulsión para completar la tabla:

 Tabla 9. Algoritmo de Convolución

Bits 8 7 6 5 4 3 2 1

Datos 0 0 1 0 0 0 0 1

Estado 00 01 10 00 01 11 11 10

Presente

Codificado 11 01 11 11 10 01 10 11

Recibido 01 01 11 10 10 01 11 11

Luego realizamos el Diagrama de Árbol

Ilustración 29. Diagrama de árbol, autoría propia

2. Realice el diagrama de estados para ese dato de entrada.

Ilustración 30. Diagrama de estados- Ejercicio Grupal 2

3. Identifique en el diagrama de Trellis la ruta correcta (identificando salidas codificadas).

Para el desarrollo utilice la siguiente convención 1=línea roja, 0=línea verde

Ilustración 31. Diagrama de Trellis identificando las salidas codificadas, autoría propia
4. Realice el diagrama de Viterbi corrigiendo el dato (ruta correcta).

Ilustración 32. Diagrama de Viterbi, autoría propia

Referencias bibliográficas

• Hopcroft, J. E., Motwani, R., Ullman, J. D., & Alfonseca, M. (2007). Introducción a

la teoría de autómatas, lenguajes y computación. Recuperado de:

https://dspace.scz.ucb.edu.bo/dspace/bitstream/123456789/1391/1/4004.pdf

• Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría de

lenguajes, gramáticas y autómatas para informáticos. Digitalia. (pp. 119 - 127).

Recuperado de https://bibliotecavirtual.unad.edu.co/login?url=https://search-

ebscohost-

com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&AN=318032&

lang=es&site=ehost-live&ebv=EB&ppid=pp_Cover

• García Fernández, Luis Amable, and María Gloria Martínez Vidal. (2009). Apuntes

de Teoría de Autómatas y Lenguajes Formales. (pp. 59 – 83). Recuperado

de: http://search.ebscohost.com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true

&db=edsbas&AN=edsbas.FEF5F46&lang=es&site=eds-live&scope=site.

• Jurado Málaga, E. (2008). Teoría de autómatas y lenguajes formales. Universidad de

Extremadura. Servicio de Publicaciones. (pp. 74 – 104). Recuperado

de: http://search.ebscohost.com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true

&db=edsbas&AN=edsbas.62161440&lang=es&site=eds-live&scope=site.
• OVA Unidad 2 - Lenguajes Independientes del Contexto y sus máquinas

González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del Contexto.

[Archivo web]. Recuperado de http://hdl.handle.net/10596/18317