∑ ={0, 1}. L = lenguaje de las cadenas sobre ∑ de longitud impar.

q0 q1q1

∑ = {0, 1}. L = lenguaje de las cadenas sobre ∑ que contienen un número impar de unos.

q0

q1q2

q2

∑ = {a, b}. L = ab+.

q0 q1 q1

q0 q1q1 q2q2

∑ = {a, b}. L = ab* U ab*a.

q0q1

∑ = {0, 1}. L = (0 U 10)*.

q1

q1

q0

q1

∑ = {0, 1}. L = (0 1U 10)*.

q0 q1

q4

q0

q3 q4

q2

q0 q1q2

∑ = {0, 1}. Lenguaje de todas las cadenas que no contienen dos unos consecutivos.

q1

q4 q5

q4

q1

q3 q5

q0 q1q0

∑ = {a, b}. L = lenguaje de las cadenas sobre que contienen un número par de aes y un número par de bes. Ayuda: utilizar 4 estados.

q2q3

∑ = {a, b}. Para cada combinación de las condiciones “par” e “impar” y delas conectivas “o” e “y”, diseñar un AFD que acepte el lenguaje L donde:L = lenguaje de las cadenas con un número par/impar de aes y/o un número par/impar de bes. Ayuda: utilizar el autómata de 4 estados diseñado en el ejercicio anterior, modificando adecuadamente el conjunto de estados finales.

q0 q1q1q1q2

q1q3