AUTOMATAS Y LENGUAJES FORMALES

FASE 4. MODELAR PROBLEMAS DE LENGUAJES FORMALES

PRESENTADO A:
JHEIMER JULIAN SEPULVEDA

PRESENTADO POR:
ClAUDIA PINILLA GÓMEZ
CÓD. 1052403728

GRUPO: 21

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

INGENIERIA DE SISTEMAS
 ACTIVIDAD A DESARROLLAR
Actividad Individual

EJERCICIO A
TRABAJAR

Una máquina de Turing con una sola cinta puede ser definida como una 7-
tupla:

M= (Q, Ʃ, Г, s, b, F, δ)

Q= {q0, q1}
Ʃ= {a, b, c}
Г= {1}
s= {q0}
F= {q1}
δ (q0, a) = (q0, 1, R)
δ (q0, b) = (q0, 1, R)
δ (q0, c) = (q0, 1, R)
δ (q0, ц) = (q1, ц, S)

MÁQUINAS MÁQUINAS
RECONOCEDORAS TRANSDUCTORAS
Caracterización
de la máquina de
turing

 La cinta se mueve de  Tenemos una salida explicita.

izquierda a derecha.  Se conoce el resultado
 La cinta tiene escrito examinando la salida.
un símbolo en cada  Caracteriza la salida de un
casilla. autómata finito de dos formas:
 El conjunto de  En términos de sus estados
símbolos de la cinta internos y sus entradas:
forma una secuencia autómata de Mealy.
de símbolos.  En términos simplemente de
 El ultimo símbolo de sus estados internos:
la cinta es un símbolo autómata de Moore.
delimitador (*).  Se describen los AFDs
transductores como autómatas
de Mealy.
 En cada instante t, el
autómata lee un
símbolo.
 Si el autómata
encuentra el símbolo *
se detendrá,
terminando el
proceso.
 Conoceremos el
resultado del proceso
ejecutado
inspeccionando el
estado interno en que
queda el autómata al
final del proceso.

Tiene una estructura:

𝐴𝐹 =< Ʃ, 𝑄, 𝑞0, 𝜏, 𝐹 > tal

que:

Ʃ es el alfabeto de
entrada.
Q es el conjunto de los
estados.
q0 es el estado inicial.
𝝉 es la función de la
transición de estados
F es el conjunto de los
estados finales

Función de transición de
estados 𝜏.
𝜏: 𝑄𝑥Ʃ → 𝑄
Esta función nos indica
cual será el estado del
autómata en el instante de
tiempo siguiente, en
términos de su estado
actual y su entrada actual:
𝒒𝒕+𝟏 = 𝝉 (𝒒𝒕, 𝒊𝒕)

Para definir el
comportamiento de un
autómata concreto,
especificaremos
 precisamente su función de
transición de estados,
tendremos un conjunto de
instrucciones de la forma:

<Estado, Entrada,
NUevoEstado>

 Estado: El estado en el
que se está.
 Entrada: Símbolo que se
lee.
 NuevoEstado: El nuevo
estado generado por la
función de transición.
Vamos a trabajar la cadena de aaaabbbccc.

- Paso 1. El cabezal (Flecha verde), lee el primer símbolo “a”. La transición

dice que al estar en q0 lee una “a”, se sobrescribe “1” y el cabezal se mueve
a la derecha.

a a a a b b b c c c

q0

Procedimiento de
paso a paso del q0
recorrido de una
cadena - Paso 2. A continuación, el estado sigue siendo q0 y el cabezal lee el
segundo símbolo “a”; quedando nuevamente en q0, sobrescribe un “1” y el
cabezal se mueve a la derecha.

a a a a b b b c c c

q0

1 1

q0
- Paso 3. A continuación, el estado sigue siendo q0 y el cabezal lee el tercer
símbolo “a”; quedando nuevamente en q0, sobrescribe un “1” y el cabezal
se mueve a la derecha.

a a a a b b b c c c

q0

1 1 1

q0
- Paso 4. A continuación, el estado sigue siendo q0 y el cabezal lee el cuarto
símbolo “a”; quedando nuevamente en q0, sobrescribe un “1” y el cabezal
se mueve a la derecha.

a a a a b b b c c c

q0

1 1 1 1

q0
- Paso 5. A continuación, el estado sigue siendo q0 y el cabezal lee el quinto
símbolo “b”; quedando nuevamente en q0, sobrescribe un “1” y el cabezal
se mueve a la derecha.

a a a a b b b c c c

q0

1 1 1 1 1

q0
- Paso 6. A continuación, el estado sigue siendo q0 y el cabezal lee el sexto
símbolo “b”; quedando nuevamente en q0, sobrescribe un “1” y el cabezal
se mueve a la derecha.
 a a a a b b b c c c

q0

1 1 1 1 1 1

q0
- Paso 7. A continuación, el estado sigue siendo q0 y el cabezal lee el
séptimo símbolo “b”; quedando nuevamente en q0, sobrescribe un “1” y el
cabezal se mueve a la derecha.

a a a a b b b c c c

q0

1 1 1 1 1 1 1

q0
- Paso 8. A continuación, el estado sigue siendo q0 y el cabezal lee el octavo
símbolo “c”; quedando nuevamente en q0, sobrescribe un “1” y el cabezal
se mueve a la derecha.

a a a a b b b c c c

q0

1 1 1 1 1 1 1 1

q0
- Paso 8. A continuación, el estado sigue siendo q0 y el cabezal lee el octavo
símbolo “c”; quedando nuevamente en q0, sobrescribe un “1” y el cabezal
se mueve a la derecha.
 a a a a b b b c c c

q0

1 1 1 1 1 1 1 1

q0
- Paso 9. A continuación, el estado sigue siendo q0 y el cabezal lee el
noveno símbolo “c”; quedando nuevamente en q0, sobrescribe un “1” y el
cabezal se mueve a la derecha.

a a a a b b b c c c

q0

1 1 1 1 1 1 1 1 1

q0
- Paso 10. A continuación, el estado sigue siendo q0 y el cabezal lee el
ultimo símbolo “c”; quedando nuevamente en q0, sobrescribe un “1” y el
cabezal se mueve a la derecha.

a a a a b b b c c c

q0

1 1 1 1 1 1 1 1 1 1

q0

- Paso 11. El cabezal lee un espacio en blanco ц, donde el estado q0

teniendo un espacio en blanco ц cambia el estado de la maquina a q1,
mantiene el espacio en blanco ц y mueve el cabezal a la derecha, el estado
q1 es final de aceptación, por lo que la cadena es aceptada.
 a a a a b b b c c c

q0

1 1 1 1 1 1 1 1 1 1

q0

Practicar y
verificar lo
aprendido

Preguntas de Control
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: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
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.
Teniendo en cuenta que el dato de entrada es: 00110100
1. Realice el diagrama de árbol. (Complete la tabla)
Bit (Posición dada en el orden que entran asociado a k)
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 01. 01. 11 00. 00.
Recibido 01. 10 10 11. 01. 11 10. 00.

Diagrama de Árbol
2. Realice el diagrama de estados para ese dato de entrada.

0/00
0/00

1/11
00 10

1/10
0/11

0/10
01 11

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

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

 REFRENCIAS BIBLIOGRAFICAS

M, J. P. (06 de 08 de 2010). Máquinas De Turing. Obtenido de Máquinas De Turing:

http://maquinasdeturing.blogspot.com/2010/08/4-representacion-grafica-de-una-mt.html

González, A. [Ángela]. (2018, junio 1). Lenguajes Estructurados por Frases. [Archivo web].
Recuperado de http://hdl.handle.net/10596/18316