AUTOMATAS Y LENGUAJES FORMALES

FASE4 – DEBATIR Y DESARROLLAR LOS EJERCICIOS PLANTEADOS

SOBRE MÁQUINAS DE TURING
CÓDIGO 301405_7

PRESENTADO POR:
JENNIFER ANDREA ROMANI COD.: 53.075.859
ERIKA INES CHAVEZ COD: 52.957.619
LUZ JANETH RUEDA BERGAÑO COD:52849414
VIVIANA QUINTERO AGUDELO COD: 52817264

PRESENTADO A:
CESAR JIMÉNEZ
(Tutor)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
NOVIEMBRE DE 2018
 INTRODUCCIÓN

Este trabajo se realiza con el propósito de desarrollar un estudio de la

maquina de Turing la cual se presenta con modelos matemáticos que se
ejecutan por medio de un problema plantead. Realizaremos un desarrollo
aplicado de los temas vistos en la unidad No.3 del módulo de autómatas y
lenguajes formales, vemos funcionamiento, características, codificación de la
máquina de Turing y la importancia de los lenguajes estructurados por
frases. La máquina de Turing es un dispositivo que transforma un INPUT en
un OUTPUT después de algunos pasos.
 ACTIVIDAD 3 – INDIVIDUAL
Ejercicio 1 Erika Chávez

EJERCICIO A
TRABAJAR Ejercicio 1

Caracterización - Definición formal de la máquina de Turing.

de la máquina Una máquina de Turing con una sola cinta puede
de turing definirse como una 7-tupla

𝑀 = (𝑄, ∑, 𝛤, 𝑠, 𝑏, 𝐹, 𝛿),
donde:
 𝑸 es un conjunto finito de estados.
 ∑ es un conjunto finito de símbolos distinto del
espacio en blanco, denominado alfabeto de
máquina o de entrada.
 𝜞 es un conjunto finito de símbolos de cinta,
denominado alfabeto de cinta (∑ ⊆𝜞).
 𝒔 ∈ 𝑸 es el estado inicial.
 𝒃 ∈ 𝜞 es un símbolo denominado blanco, y es el
único símbolo que se puede repetir un número
infinito de veces.
 𝑭 ⊆ 𝑸 es el conjunto de estados finales de
aceptación.
 𝜹: 𝑸𝒙𝜞 → 𝑸𝒙𝜞𝒙{𝑳, 𝑹} es una función
parcial denominada función de transición, donde
𝑳 es un movimiento a la izquierda y 𝑹 es el
movimiento a la derecha.

- Diferencias y similitudes de las máquinas

reconocedoras y Transductoras

Reconocedor Transductor
Decidir si la cadena es Transformar la
válida o no, según algún entrada
criterio
 Si la palabra no pertenece Debe acabar en
al lenguaje no se exige a la estado no final para
MT que se pare indicar el error en la
entrada
Dos conceptos: Realiza un cálculo:
RECONOCER, ACEPTAR - Si la entrada está
- Una Máquina de bien formada, debe
Turing RECONOCE un terminar en un
lenguaje L, si para estado final.
cualquier entrada en la
cinta, w, se acaba parando, - Si la entrada NO
y lo hace en un estado final está bien formada,
si y sólo si𝑤 ∈ 𝐿. debe terminar en
un estado no final.
- Una Máquina de
Turing ACEPTA un lenguaje
L si, al analizar una palabra
w, se para en un estado
final si y sólo si 𝑤 ∈ 𝐿

Procedimiento
de paso a paso Cadena 0101101011
del recorrido
de una cadena Gráfico inicial
Cinta
Cabezal de lectura

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

Movimiento a la Izquierda Movimiento a la Derecha

- 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 6: 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 Cadenas válidas
aprendido
0110

01010
0001

1111

0001

Cadenas rechazadas
11a0
b0b0b

000a

1101a

a1a10
Ejercicio 1 Jenifer Romani

Ejercicio 4 Viviana Quintero

Ejercicio 4 Luz Janeth Rueda

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

Último dígito Ejercicio

de la Cédula o
TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5

ACTIVIDAD 1: Maquinas de Turing

Ejercicio 4

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

EJERCICIO
A TRABAJAR

Caracterizac Se define de la siguiente forma:

ión de la
máquina de r = {0,1,b}
turing Q = { q0,q1,q2,q3}
qo= Estado inicial
qf= q3

Tabla de Transición

F 0 1 B
qo qo,0,R qo,1,R --------
q1 -------- q2,0,L --------
q2 -------- q2,0,L q3,1,S
q3 -------- -------- --------

Realizar un cuadro donde explique las diferencias y

similitudes de las máquinas reconocedoras y Trasductoras

M. RECONOCEDORA M.TRANSDUCTORA
Capaz de reconocer o Modifica el estado de
aceptar un lenguaje L la cinta realizando
cierta función
Reconoce un lenguaje Añade un bit de
L si para y lo hace en paridad a la entrada
un EF y si solo si w E
L
Duplica el numero de
1s que hay en la cita
Si la entrada esta bien
formada debe
terminar en un estado
final
Si la entrada no esta
bien formada debe
terminar en un estado
no final
Procedimient Cadena a representar
o de paso a
paso del 1011001101
recorrido de Paso 1 Representación en la cinta
Fila
una cadena
1 0 1 1 0 0 1 1 0 1

Izquierda Derecha

Paso 2 Inicia la cadena en estado q0 al tomar el 1 vuelve y

queda con el 1 no sale del estado q0
Paso 3 Cuando toma el 0 vuelve y queda con el 0 y no sale
del estado q0
Paso 4 Pasa al 1 vuelve y queda 1 y no sale del estado q0
Paso 5 al terminar la cadena pasa a vacio y queda en el
estado q1
Paso 6 Con un 1 cambia a vacio y pasa a la derecha
quedando en el estado q2

Practicar y
verificar lo Cadena Valida
aprendido
Cadena Rechazada
 ACTIVIDAD 3 - COLABORATIVO

Actividad 2:

Teniendo en cuenta la siguiente tabla de transición de una máquina de

Mealy, realice:

f Entrada G Entrada
Estado 0 1 Estado 0 1
q0 q1 q0 q0 1 0
q1 q3 q0 q1 1 1
q2 q1 q2 q2 0 1
q3 q2 q1 q3 0 1

1. Identifique los componentes de la Máquina (descríbala).

Una máquina de Mealy es una 6-tupla 𝑀 = (𝑄, ∑, 𝛤, 𝑞0 , 𝛿, 𝛽), donde:

Q = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 } 𝐸𝑠𝑡𝑎𝑑𝑜𝑠
Σ = {0, 1} 𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜 𝑑𝑒 𝑒𝑛𝑡𝑟𝑎𝑑𝑎
Γ = {0, 1} 𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜 𝑑𝑒 𝑠𝑎𝑙𝑖𝑑𝑎
𝑞0 ∈ 𝑄 = {𝑞0 } 𝐸𝑠𝑡𝑎𝑑𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙
𝛿 = 𝐹𝑢𝑛𝑐𝑖𝑜𝑛 𝑑𝑒 𝑇𝑟𝑎𝑛𝑠𝑖𝑐𝑖ó𝑛
𝛽 = 𝐹𝑢𝑛𝑐𝑖ó𝑛 𝑑𝑒 𝑆𝑎𝑙𝑖𝑑𝑎

2. Diséñela en diagrama (Máquina de Mealy).

3. Recorra la máquina con al menos una cadena válida explicando lo
sucedido tanto en la cinta como en la secuencia de entrada.

 Se da ingreso por el estado inicial 𝑞0 con la cadena 100001

 Al iniciar la secuencia en 1, esta se mantiene en el estado 𝑞0 y en la

cinta el 1 es reemplazada por 0
 La secuencia al cambiar a entrada 0, pasa al estado 𝑞1 y en la cinta el 1
es reemplazado por 0.

 La secuencia anterior se repite para la siguiente entrada, pasando al

estado 𝑞3
 En esta secuencia se continua con entrada 0, pasando al estado 𝑞2 pero
en la cinta el 0 queda en 0

 Se repite la secuencia anterior para la siguiente entrada, pasando al

estado 𝑞1

 En esta secuencia al llegar nuevamente a 1, pasa al estado 𝑞0 pero en

la cinta el 1 queda en 1, y aquí finaliza la secuencia.
4. Realice la conversión paso a paso de máquina de Mealy a máquina de
Moore

MO: ({0, 1}, {0, 1}, {q0, q1, q2, q3}, F, g)

Entradas y salidas
0 1
Estado Salida Estado Salida
q0 q1 1 q0 0
q1 q3 1 q0 1
q2 q1 0 q2 1
q3 q2 0 q1 0

Estados= {Q0, Q5, Q6, Q7, Q8, Q9, Q10, Q11}

Nombramos los estados que serán usados por la máquina de Moore

Máquina de Moore
0 1
Estado Salida Estado Salida
Q0 Q5 1 Q6 0
Q5 Q7 1 Q8 1
Q6 Q5 1 Q6 0
Q7 Q11 0 Q9 0
Q8 Q5 1 Q6 0
 Q9 Q7 1 Q8 1
Q10 Q9 0 Q10 1
Q11 Q9 0 Q10 1

Tabla de transición:
F Función Transición
Estado 0 1
Q0 Q5 Q6
Q5 Q7 Q8
Q6 Q5 Q6
Q7 Q11 Q8
Q8 Q5 Q6
Q9 Q7 Q8
Q10 Q9 Q10
Q11 Q9 Q10

G Función Salida
Estado 0 1
Q0 1 0
Q5 1 1
Q6 1 0
Q7 0 0
Q8 1 0
Q9 1 1
Q10 0 1
Q11 0 1

Diagrama de Moore:
 COMPARATIVO:

Mealy tiene 4 estados y la Máquina de Moore tiene 8 estados.

Máquina de mealy:

Máquina de moore:
 5. Explique cinco características de la Máquina de Mealy y encuentre cinco
diferencias con las Máquinas de Moore.

Características de la Maquina de Mealy

1) Se caracteriza por ser una máquina de estados finita.
2) Las salidas están determinadas por el estado actual y la entrada.
3) Permanece en un cierto estado mientras no recibe algún estímulo
del exterior
4) Transita a otro estado (que puede ser el mismo en el que está, pero
igual se produce el transito).
5) Emite un símbolo a la salida (símbolo que pertenece al conjunto de
símbolos de salida), de acuerdo con la función de salida

Diferencias con las máquinas de Moore

1) La salida depende del estado actual y de las entradas
2) Por lo general, tiene menos números de estados
3) Es menos estable que la máquina de Moore
4) Para probar un circuito primero se hace el cambio en la entrada X y
después se da el pulso de reloj
5) Las salidas se encuentran en la arista

Actividad 3:

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.
TABLA DE DATOS, ESTADOS Y DATOS CODIFICADOS
Teniendo en cuenta que el dato de entrada es: 00110100

8 7 6 5 4 3 2 1
DATOS 0 0 1 1 0 1 0 0
ESTADO PRESENTE 00. 01. 11 10 01. 10 00. 00.
CODIFICADO 11 10 10 00. 01. 11 00. 00.
RECIBIDO 01. 10 10 10 01. 11 10 00.

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

00. 01. 11
00. 01. 00.
00. 11 00. 10
00. 10 10. 01.
CODIFICADOS 0 10
11
ESTADOS 1

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

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

00. 00. 10 01. 10 11 01. 00.

00.

01.

10

11

4. Realice el diagrama de Viterbi corrigiendo el dato (ruta correcta).

 BIBLIOGRAFÍA

González, A. [Ángela]. (2018, junio 1). Lenguajes Estructurados por

Frases. [Archivo web]. Recuperado de
http://hdl.handle.net/10596/18316
JFlap. Software simulador de lenguajes formales. Recuperado de:
http://www.jflap.org/
Moreno, P (2011). Máquina estado finito con salida (máquina de
Mealy). Recuperado de:
https://www.youtube.com/watch?v=u3j4Qy5nNo4
Universidad Nacional Abierta y a Distancia (2018). Guía de actividades
y rúbrica de evaluación - Fase 4 Debatir y desarrollar los ejercicios
(archivo pdf).

Wikipedia (2018). Máquina de Turing. Recuperado de

https://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing

Hernández, R. (2010). Practique la teoría de autómatas y lenguajes

formales. (pp. 1 -124). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?doc
ID=10566114&ppg=10

Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría de

autómatas y lenguajes formales. (pp. 7-797). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?doc
ID=10498456&ppg=6

Vanegas, E. (2016). Máquina de Turing con JFLAP paso a paso

explicado – AUTOMATAS (video). Recuperado de:
https://www.youtube.com/watch?v=lMtkzo_nkS8