UNIDAD 3: FASE 4: MODELAR PROBLEMAS DE LENGUAJES ESTRUCTURADOS

POR FRASES

Diego Andrés Peña Cárdenas

COD: 1121826889

Presentado a: Jheimer Julian Sepulveda

301405_54

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
MAYO DE 2019
ACTIVIDAD 1
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 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 Cadenas válidas
aprendido
0110
01010

0001

1111

0001
Cadenas rechazadas
11a0

b0b0b

000a

1101a
 a1a10

Actividad 2:
Teniendo en cuenta la siguiente tabla de transición de una máquina de Mealy, realice:

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

G Entrada
Estado 0 1
q0 1 0
q1 1 1
q2 0 1
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. Diagrama de árbol.

00. 01. 11
00. 01. 00.
00. 11 00. 10
00. 10 10. 01.
CODIFICADOS 0 10
11
ESTADOS 1
2. Diagrama de estados.

3. Ruta correcta en el Diagrama de Trellis.

4. Diagrama de Viterbi con 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

• 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?docID=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?docID=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

• Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y

Autómatas Para Informáticos. Recuperado
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032
&lang=es&site=eds-live&ebv=EB&ppid=pp_Cover

• Rosenfeld, D. (2016). Computabilidad, Complejidad computacional y verificación de

programas. (pp. 7 - 27). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11201616&ppg
=12

• CK-12, (2012). Case History: How Math, Science, and Engineering Led to the First
Pocket Radio. [OVI]. Recuperado de: http://www.ck12.org/book/Engineering%3A-An-
Introduction-for-High-School/section/5.2/