Ensayo teora de autmatas

Edison Segarra Guzmn

1. Del siguiente listado de cadenas, marque las cadenas que reconoce el siguiente AFND:

CADENA
ab
cb
ccac
cc

RECONOCE

CADENA
abab
a
ccacc
c

RECONOCE

CADENA
ccab
abacab
caa
b

RECONOCE

2. Escriba una expresin regular y el autmata finito determinista (AFD) para que
reconozca nmeros enteros y decimales, con signo (+ y -):

Donde n =(0-9)

La expresin regular es: -|+(n)(.|n)*

3. Dada la siguiente expresin regular: (a*|b*)*, transfrmela a un autmata finito no

determinista (AFND) y luego aplicando el algoritmo transfrmelo a un autmata finito
determinista (AFN)
AFND
a
a.
b.

c.

Resultados

Transformacin a AFN
ESTADO
CERRADURA
{1}={1,2,5,9}=A
{3}={6,7,5,8,9,1,2}=B
{6}={2,8,3,1,5,9,4}=C

a
Mover(A,a)={3}
Mover(B,a)={3}
Mover(C,a)={3}

b
Mover(A,b)={6}
Mover(B,b)={6}
Mover(C,b)={6}

ESTADO
A
B
C

a
C
C
C

b
B
B
B