AUTOMATAS Y LENGUAJES FORMALES

FASE 2. CONOCER FORMALISMOS USADOS PARA DEFINIR LENGUAJES

FORMALES

PRESENTADO A:
ANGELA MARIA GONZALEZ

PRESENTADO POR:
LAURA VICTORIA CORONADO ARCHILA
CÓD. 1057548103

GRUPO: 58

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

INGENIERIA DE SISTEMAS
MARZO DE 2019
 ACTIVIDAD A DESARROLLAR
Actividad 1:

EJERCICIO A
TRABAJAR

Este ejercicio es un autómata finito no determinista (AFND),

puesto que como podemos ver el estado q0 y q1 posee dos
Caracterización del
transiciones; de la misma forma tiene transiciones sin leer
autómata
entradas y tienen transiciones de un estado final con transiciones
a otros estados.
Autómata Finito no Determinista

q1
a
b
b

q0 a q2

- Paso 1. Se desdobla el autómata.

Procedimiento de q1 b q0
conversión de a
Autómata Finito a
q0 b
Expresión Regular
paso a paso a

q2

- Paso 2. Eliminamos q1 hacia q0

ab

q0
a+ab q2
 - Paso 3. Eliminamos a q2
ab

q0 (ab)*(a+ab)

-Paso 4. Obtenemos la expresión regular.

ER=((ab)*(a+ab))
Autómata Final
convertido ER=((ab)*(a+ab))

Expresión Regular
((ab)*(a+ab))
Lenguaje regular
Lenguaje Regular