AUTOMATAS Y LENGUAJES FORMALES

TRABAJO COLABORATIVO 1

POR
DIANA MARISOL BOJACA B.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

CEAD GACHETA
SEPTIEMBRE DE 2018
 TRABAJO COLABORATIVO 1

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: Conversión de un Autómata Finito a Expresión

Regular

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4
 Ejercicio 5

Teniendo en cuenta que mi número de cedula es 1071330219 y

termina en 9 me corresponde el ejercicio 1.
El diseño solicitado corresponde al diligenciamiento de la siguiente
tabla:

EJERCICIO A Ejercicio 1
TRABAJAR

Caracterización En este espacio se realiza:

del autómata Identificación: Autómata Finito No Determinista

Caracteristicas
 La transición desde un estado puede tener
multiples destinos. Por eso se le llama no
determinista.

 Permite transiciones con cadenas vacías.

 No siempre se permite el uso de backtracking

 Requiere menos espacio.

 Una cadena es aceptada si solo una de todas

sus posibles transiciones son hacia un estado
final.
Procedimiento Realice de manera detallada el procedimiento paso
de conversión a paso de la conversión del autómata a expresión
de Autómata regular y según ejemplo revisado.
Finito a
Expresión - Paso 1
a
Regular paso a q0 q1
paso
b

b a
q2

- Paso 2

a
q0 q1

b a q0
q2

- Paso 3

Eliminando q2
a + ba
q0 q1

Autómata Final
convertido ba + ba

q1

Lenguaje Expresión regular:

regular ba+ba

ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas

a Autómatas Finitos No deterministas (AFD a AFND) y viceversa
1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4

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

EJERCICIO A Ejercicio 2
TRABAJAR

Caracterización Identificación: Autómata Finito No Determinista

del autómata
Caracteristicas
- La transición desde un estado puede tener
multiples destinos. Por eso se le llama no
determinista.

- Permite transiciones con cadenas vacías.

- No siempre se permite el uso de backtracking

- Requiere menos espacio.

- Una cadena es aceptada si solo una de todas

sus posibles transiciones son hacia un estado
final.

Procedimiento Realice de manera detallada el procedimiento paso

de conversión a paso de la conversión del autómata según
paso a paso corresponda y según ejemplo revisado.

- Paso 1.
Se establece que el esta do final es q3

- Paso 2.
Procedemos a construir la tabla de transición con el
fin de verificar el proceso y construir la
transformación.
 Tabla de Transición
1 0
q0 q0 q1 q2
q1 q3 --
q2 q3 --
q3 -- q0

- Paso 3.
Haciendo la transformación
1 0
q0 q0 q1 q2

1 0
q0 q1 q0 q1 q3 q2

1 0
q0 q1 q3 q0 q1 q3 q0 q2

1 0
q0 q2 q0 q1 q3 q2

1 0
q2 q3 --

- Paso 4
Construyendo la tabla
1 0
q0 q0 q1 q2
q0 q1 q0 q1 q3 q2
q0 q1 q3 q0 q1 q3 q0 q2
q0 q2 q0 q1 q3 q2
q2 q3 --

Autómata Final Construimos el Autómatas Finitos Deterministas

convertido
0

1
1 1 q0 0 0 1
q0 q0 q0 q2 q3
q1
q1 q2
q3

1
Practicar y Apoyándose en el simulador JFlap o VAS ejecutar los
verificar lo dos autómatas, el original y el autómata resultado
aprendido final de la conversión y validar por lo menos tres
cadenas válidas y tres cadenas rechazadas.

En este espacio agregar las imágenes tomadas del

simulador utilizado.