AUTOMATAS Y LENGUAJES FORMALES

ACTIVIDAD INDIVIDUAL

FAIBER YOVANNY BERNAL ARTUNDUAGA

CÓDIGO: 16189683

GRUPO:
301405A_474

TUTOR

JAME JOSE VALDES

UNIVERSIDAD NACIONAL ABIERTA Y DISTANCIA – UNAD

CEAD FLORENCIA

FLORENCIA, CAQUETA

NOVIEMBRE 2018
Actividades individuales:
Cada estudiante resuelve el taller propuesto en el objeto virtual de aprendizaje lenguajes
estructurados por frases propuesto en el entorno de conocimiento Unidad 3.
Se encuentra un ejercicio, correspondientes a:
Actividad 1: Máquinas de Turing
https://es.slideshare.net/JoseRojas33/desarrollo-momento-3-65534397

EJERCICIO A
TRABAJAR

Caracterización En este espacio se realiza:

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

Una máquina de Turing es una séptupla M = (Q, ∑,

Γ, s, b , F, δ) donde:

1. Q es un conjunto finito de estados.

2. ∑ es el alfabeto de símbolos de entrada
distinto del espacio en blanco.
3. Γ es el alfabeto de símbolos de la cinta ( ∑ ⊆
Γ ).
4. s ϵ Q es el estado inicial.
5. b ϵ Γ es un símbolo denominado blanco
6. F ⊆ Q es el conjunto de estados finales.
7. δ es una función de transición parcial.
δ : Q x Γ → Q x Γ x {L, R}

- Realizar un cuadro donde explique las

diferencias y similitudes de las máquinas
reconocedoras y Trasductoras
 TRANSDUCTOR RECONOCEDOR
Modifica el contenido MT capaz de
de la cinta realizando reconocer o aceptar
cierta función: un lenguaje L
Ejm: MT que sustituye Una MT reconoce un
los dígitos por cero lenguaje L, si dada
MT que añade un bit una entrada (w) en la
de paridad a la cinta, la MT siempre
entrada se para y lo hace en
MT que duplica el un EF si y solo si w €
número de unos que L
hay en la cinta Una MT acepta un
Si la entrada esta lenguaje L, si dada
bien formada: debe una entrada (w)en la
terminar en un estado cinta, la MT se para
final en un estado final si y
Si la entrada no esta solo si w € L, asi en
bien formada debe este caso si w L, la MT
terminar en un estado no podría parar.
no final Ejm. MT que reconoce
el lenguaje a*b*, MT
acepta el lenguaje an
bncn

Procedimiento Realice de manera detallada y grafica el

de paso a paso procedimiento paso a paso del recorrido de una
del recorrido cadena (La cadena la selecciona el estudiante,
de una cadena debe contener como mínimo 10 caracteres) en la
máquina de turing. Describir cómo funciona el
almacenamiento mediante el uso de las cintas, etc.

- Paso 1: Inicialmente, la cabeza está señalando

nuestro primer dato que es “b”.
- Paso 2: Nuestra MT inicia su funcionamiento y
por lo tanto en la cinta se cambia nuestro dato “b”
por un 1, el cabezal se mueve a la derecha
señalando nuestro siguiente dato y permanecemos
en el estado q0.

- Paso 3: Nuestra MT encuentra el dato “c” y en la

cinta lo cambia por un 1, el cabezal se mueve a la
derecha señalando nuestro siguiente dato y
permanecemos en el estado q0.

- Paso 4: Nuevamente la MT encuentra un nuevo

dato que es “a” y en la cinta lo cambia por un 1, el
cabezal se mueve a la derecha señalando nuestro
siguiente dato y permanecemos en el estado q0.

- Paso 5: La MT encuentra el dato “c” y en la cinta

lo cambia por un 1, el cabezal se mueve a la
derecha señalando nuestro siguiente dato y
permanecemos en el estado q0.

- Paso 6: La MT encuentra el dato “a” y en la cinta

lo cambia por un 1, el cabezal se mueve a la
derecha señalando nuestro siguiente dato y
permanecemos en el estado q0.

- Paso 7: La MT encuentra el dato “b” y en la cinta

lo cambia por un 1, el cabezal se mueve a la
derecha señalando nuestro siguiente dato y
permanecemos en el estado q0.

- Paso 8: La MT encuentra el dato “c” y en la cinta

lo cambia por un 1, el cabezal se mueve a la
derecha señalando nuestro siguiente dato y
permanecemos en el estado q0.

- Paso 9: La MT encuentra el dato “b” y en la cinta

lo cambia por un 1, el cabezal se mueve a la
derecha señalando nuestro siguiente dato y
permanecemos en el estado q0.

- Paso 10: La MT encuentra el dato “a” y en la

cinta lo cambia por un 1, el cabezal se mueve a la
derecha señalando nuestro siguiente dato y
permanecemos en el estado q0.

- Paso 11: La MT encuentra el dato “c” y en la cinta

lo cambia por un 1, el cabezal se mueve a la
derecha señalando nuestro siguiente dato y
permanecemos en el estado q0.
 - Paso 12: Finalmente nuestra MT no encuentra o
recibe un nuevo dato y por lo tanto se queda en el
mismo sitio de la cinta; pasa al estado q1, dando
como aceptada la cadena introducida y finalizando
nuestro autómata.

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

verificar lo validar por lo menos cinco cadenas válidas y 5
aprendido cadenas rechazadas por la máquina. En este
espacio adjunta la imagen.