∑ ={0, 1}.

L = lenguaje de las cadenas sobre ∑

de longitud impar.

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

q
q1
2
q0
 ∑ = {a, b}. L
= ab+.

q
q0 q1 q2
1
 ∑ = {a, b}. L = ab* U ab*a.

q q
q0 q1 q2
1 2
 ∑ = {0, 1}. L = (0 U
10)*.

q
q1
q 1
q0
0
q1
 ∑ = {0, 1}. L = (0 1U
10)*.
q q1
q0
0
q
q1
2

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

q0 q
q q1
q1 2
1

q4

q
q q5
q4 5
3
 ∑ = {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.

q
q0
0 q1

q3 q2
∑ = {a, b}. Para cada combinación de las condiciones “par” e “impar” y de
las 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.

q
q0 q1
1 q
q1
2

q
q1
3