UNIDAD 3: LENGUAJES ESTRUCTURADOS POR FRASES

JOHN ESTEBAN ROLDAN CASTAÑEDA

Cod: 1018346917

Curso (301405A_611) – AUTÓMATAS Y LENGUAJES FORMALES

Grupo 48

TUTOR:
JHEIMER JULIAN SEPULVEDA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
PROGRAMA INGENIERÍA DE SISTEMAS
MEDELLIN
2019
 EJERCICIOS DE LA FASE 4
ACTIVIDAD INDIVIDUAL

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

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4

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

EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor agregue la imagen

TRABAJAR

Caracterización En este espacio se realiza:

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

La máquina de Turing se define con una sep-tupla

MT = (Σ, Q ,Γ, s, b, f, δ)

Donde:
Σ = a, b, c (alfabeto de entrada)
Q = q0, q1 (conjunto finito de estados)
Γ = 1 (Símbolo de la cinta)
s = q0 (estado inicial del autómata)
b = es un símbolo denominado blanco, y es el único símbolo que se puede
repetir un número infinito de veces
f = q1 (subconjunto de estados finales)
δ=
δ(q0,a)=(q0,1,R)
δ(q0,b)=(q0,1,R)
δ(q0,a)=(q0,1,R)
δ(q0,b)=(q0,1,R)
δ(q0,c)=(q0,1,R)
δ(q0,c)=(q0,1,R)
δ(q0,a)=(q0,1,R)
δ(q0,b)=(q0,1,R)
δ(q0,b)=(q0,1,R)
δ(q0,a)=(q0,1,R)
δ(q0,a)=(q0,1,R)
δ(q0,c)=(q0,1,R)
δ(q0, ⎕)=(q1,⎕,s)

- Realizar un cuadro donde explique las diferencias y similitudes

de las máquinas reconocedoras y Trasductoras
 MT Reconocedora MT Transductora
Son aquellas en donde la Son las más generales,
salida es binaria (sí/no), convierten una
depende únicamente del secuencia de señales de
estado y existe un entrada en una
estado inicial secuencia de salida,
pudiendo ésta ser
binaria o más compleja,
dependiendo de la
entrada actual (no sólo
del estado) y pudiendo
también prescindirse de
un estado inicial.
Finalidad: decidir si la Finalidad: transformar la
Diferencias

cadena es válida o no, entrada.

según algún criterio.
Una MT RECONOCE un Si la entrada está bien
lenguaje L, si para formada, debe terminar
cualquier entrada en la en un estado final, Si la
cinta, w, se acaba entrada NO está bien
parando, y lo hace en un formada, debe terminar
estado final si y sólo si w en un estado no final.
∈ L.
Una MT ACEPTA un
lenguaje L si, al analizar
una palabra w, se para
en un estado final si y
sólo si w ∈ L
Si la palabra no Debe acabar en estado
pertenece al lenguaje no final para indicar el
no se exige a la MT que error en la entrada.
se pare.
Estando en un estado p y leyendo un símbolo en la
celda sobre la que se encuentra la cabeza de
lectura/escritura realiza las mismas acciones.
a) Pasa a un nuevo estado.
b) Cambia de estado.
Similitudes

c) Escribe un nuevo símbolo en la cinta, en la

misma casilla donde se acaba de leer el
símbolo.
d) Se reemplaza al anteriormente leído (salvo
que se escriba el mismo).
e) Mueve la cabeza de lectura/escritura a
izquierda, derecha o se para.
f) Existen muchas variantes de la Máquina de
Turing pero todas ellas son equivalentes.
Procedimiento Realice de manera detallada y grafica el procedimiento paso a paso del
de paso a paso recorrido de una cadena (La cadena la selecciona el estudiante, debe
del recorrido contener como mínimo 10 caracteres) en la máquina de turing.
de una cadena Describir cómo funciona el almacenamiento mediante el uso de las
cintas, etc.

Cadena a recorrer: ababccabbaac

La máquina Turing seleccionada actúa como reconocedor.

- Paso 1

Estando en q0, la cabeza de la MT señala el símbolo de cinta a y

escribe el símbolo 1 en la casilla actual (cambia a por 1) y se mueve a
la derecha, pasando al símbolo b y continúan en el estado q0.

Transición:
δ(q0,a)=(q0,1,R)

- Paso 2.

Estando en q0, la cabeza de la MT señala el símbolo de cinta b y

escribe el símbolo 1 en la casilla actual (cambia b por 1) y se mueve a
la derecha, pasando al símbolo a y continúan en el estado q0.
Transición:
δ(q0,b)=(q0,1,R)

- Paso 3.

Estando en q0, la cabeza de la MT señala el símbolo de cinta a y

escribe el símbolo 1 en la casilla actual (cambia a por 1) y se mueve a
la derecha, pasando al símbolo b y continúan en el estado q0.

Transición:
δ(q0,a)=(q0,1,R)

- Paso 4.

Estando en q0, la cabeza de la MT señala el símbolo de cinta b y

escribe el símbolo 1 en la casilla actual (cambia b por 1) y se mueve a
la derecha, pasando al símbolo c y continúan en el estado q0.

Transición:
δ(q0,b)=(q0,1,R)

- Paso 5.
Estando en q0, la cabeza de la MT señala el símbolo de cinta c y
escribe el símbolo 1 en la casilla actual (cambia c por 1) y se mueve a
la derecha, pasando al símbolo c y continúan en el estado q0.

Transición:
δ(q0,c)=(q0,1,R)

- Paso 6.

Estando en q0, la cabeza de la MT señala el símbolo de cinta c y

escribe el símbolo 1 en la casilla actual (cambia c por 1) y se mueve a
la derecha, pasando al símbolo a y continúan en el estado q0.

Transición:
δ(q0,c)=(q0,1,R)

- Paso 7.
Estando en q0, la cabeza de la MT señala el símbolo de cinta a y
escribe el símbolo 1 en la casilla actual (cambia a por 1) y se mueve a
la derecha, pasando al símbolo b y continúan en el estado q0.

Transición:
δ(q0,a)=(q0,1,R)

- Paso 8.

Estando en q0, la cabeza de la MT señala el símbolo de cinta b y

escribe el símbolo 1 en la casilla actual (cambia b por 1) y se mueve a
la derecha, pasando al símbolo b y continúan en el estado q0.

Transición:
δ(q0,b)=(q0,1,R)

- Paso 9.
Estando en q0, la cabeza de la MT señala el símbolo de cinta b y
escribe el símbolo 1 en la casilla actual (cambia b por 1) y se mueve a
la derecha, pasando al símbolo a y continúan en el estado q0.

Transición:
δ(q0,b)=(q0,1,R)

- Paso 10.

Estando en q0, la cabeza de la MT señala el símbolo de cinta a y

escribe el símbolo 1 en la casilla actual (cambia a por 1) y se mueve a
la derecha, pasando al símbolo a y continúan en el estado q0.

Transición:
δ(q0,a)=(q0,1,R)

- Paso 11.
Estando en q0, la cabeza de la MT señala el símbolo de cinta a y
escribe el símbolo 1 en la casilla actual (cambia a por 1) y se mueve a
la derecha, pasando al símbolo c y continúan en el estado q0.
Transición:
δ(q0,a)=(q0,1,R)

- Paso 12.

Estando en q0, la cabeza de la MT señala el símbolo de cinta c y

escribe el símbolo 1 en la casilla actual (cambia c por 1) y se mueve a
la derecha, pasando al símbolo ⎕ y al estado q1.

Transición:
δ(q0,c)=(q0,1,R)

- Paso 13.
 La cabeza de la MT señala el símbolo de cinta ⎕ y escribe el símbolo
⎕ en la casilla actual (no realiza ningún cambio en la cinta) y se
mantiene en la posición, es decir, no se desplaza a la derecha ni a la
izquierda. En este punto ya se ha llegado al estado q1, el cual es un
estado final, de esta manera se determina que la cadena
ababccabbaac es aceptada por la MT la cual actúa como
reconocedor.

Transición:
δ(q0, ⎕)=(q1,⎕,s)

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y validar por

verificar lo lo menos cinco cadenas válidas y 5 cadenas rechazadas por la
aprendido 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 cinta 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
 Bibliografía

 González, A. [Ángela]. (2018, junio 1). Lenguajes Estructurados por Frases. [Archivo web].
Recuperado de http://hdl.handle.net/10596/18316
 Teoria autómatas. (2019). Recuperado de https://teoriautomatas.wordpress.com/turing/
 Máquina de estados. (2019). Recuperado de
https://es.wikipedia.org/wiki/M%C3%A1quina_de_estados