Automatas finitos deterministico

INFORMATICA UNIVERSIDAD

TAREA

Sea el AFD dado por M=(Q , ∑ , s, F , δ) donde , Q={ q0, q1};

∑={0,1 }; s =q0 ; F = { q1} ; δ (q1,0)=q1 ; δ (q1,1)=q0

Obtenga la tabla de transicion y el diagrama de transicion de estado asociado al AFD dado.

Verivique la validez de las cadenas siguientes para el AFD dado

W =01000; w = 01001

(Puede quitar la publicidad ampliando la cuenta)