TAREA 02

Escriba la definición formal del AFD

Calcule las palabras: abbb

[[S0,abbb]]-M [[So,bbb]]-M [[S1,bb]] -M [[S2,b]]-M [[S1, E]]
No aceptada

baba

[[S0,baba]]-M [[S1,aba]]-M [[S2,ba]]-M [[S1,a]] -M [[S2, E]]
Aceptada

bababb

[[So,bababb]]-M [[S1,ababb]]-M [[S2,babb]]-M [[S1,abb]]-M [{S2,bb]]-M [[S1,b]]-M[[S2,E]]
Aceptada

abaab

[[S0,abaab]]-M [[S0, baab]]- M [[S1, aab]] -M [[S2, ab]] - M [[S2,b]] -M [[S1, E]]
No aceptada

Lenguaje aceptado por el AFD

aba, abb, abaa, abba, ba, baa, bba, abaabb, bbaba, bbabb.

TAREA 01

Diseñar el automata finito que acepta el lenguaje de las palabras de longitud par (incluyendo el 0) y el lenguaje de longitud impar sobre el alfabeto {a,b,c}