Automatas finitos deterministico

INFORMATICA UNIVERSIDAD

PROCESO

Solución:

La tabla de transición Asociada al AFD

Diagrama de transición de estados:

Evaluando la cadena w= 01000, se tiene que

δ (q, 01000) = δ(δ(δ(δ(δ(q,0),1),0),0) = q ; la cadena no es aceptada

δ(q,010011) = δ(δ(δ(δ(δ(q,0),1),0),0),1) = q ; la cadena es aceptada

 

 

 

(Puede quitar la publicidad ampliando la cuenta)