EVALUACION PARCIAL II DISEÑO DE LENGUAJES Y AUTOMATAS

Santiago Vásquez

27/11/2020

AFD
AFN

TRANSICINES λ
2. Aplicando el teorema de Kleen realizar el autómata que acepte: b(b U a*) (vale 1 punto)

3.Aplicando el lema de Arden, encontrar expresiones regulares para los lenguajes aceptados
por el siguiente AFN: (vale 2 puntos)

q0= W q1= X q2= Y q3=Z

1) W = aX U bY U aZ
2) X = bX U aY
3) Y = aZ U λ
4) Z = bZ U λ
Aplico lema de Arden a la ecuación 4
5) Z = b*λ  b*
Reemplazo la ecuación 5 en la ecuación 3
6) Y = ab* U λ
7) Y = ab*
Reemplazo la ecuación 6 en la ecuación 2
8) X = bX U aab* U λ
9) X = b*a2b*
Reemplazo las ecuaciones resultantes en la ecuación 1
W = ab*a2b* U bab* U ab*