FASE 1 EJERCICIO 2

JULIA ISABEL RODRIGUEZ VASQUEZ

COD. 40993128

AUTOMATAS Y LENGUAJES REGULARES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD

2018
ACTIVIDAD 1: Conversión de un Autómata Finito a Expresión Regular

EJERCICIO A
TRABAJAR

Caracterización - Autómata Finito No Determinista

del autómata - admite “bifurcaciones” en el comportamiento del autómata, y
transiciones indefinidas.
- acepta una palabra si existe algún camino posible que permite
leer esa palabra y llegar a un estado de aceptación.
- Es más fácil verlo como generador: su lenguaje son las
palabras que podemos obtener al recorrerlo y terminar en q 3

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…
Regular paso a q0 a q2 pasando por (q1)
paso aa*b
- Paso 2…
q0 a q2
b
simplificando términos semejantes

(aa*b)b
Autómata Final En este espacio se presenta la expresión
convertido correspondiente al autómata trabajado.

(aa*+b)+b
Lenguaje En este espacio agrega el lenguaje regular
regular correspondiente a la expresión regular.
ER= (aa*b)b
EJERCICIO A
TRABAJAR

Caracterización En este espacio se realiza:

del autómata - Autómata Finito Determinista
- En las tablas de transición de los AFD no hay más que
un estado en cada casilla, haciendo más clara la
interpretación y reconocimiento de cadenas mediante
el reconocedor.
- son los autómatas finitos ideales
- las transiciones múltilples para un mismo símbolo y las
vacías son indeseables sobre todo para la
implementación material, fundamentalmente mecánica,
de los autómatas finitos
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…

q0 a q1

aa*(ba)*

- Paso 2…

q0 a q1 pasando por q2

(ab)a*

- Paso 3…

q0 a q2

(ab)*

aa*(ba)* + (ab)a* + (ab)*

Autómata Final aa*(ba)* + (ab)a* + (ab)*
convertido

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

verificar lo los dos autómatas, el original y el
aprendido autómata resultado 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.