Automatas Finitos Deterministas - Teoria De La Computacion

∑ ={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+.

q0

q1

q q2 1

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

q0

q q1 1

q q2 2

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

q q0 0 q1

q q0 0

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

q q1 2 q3

q q4 4

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

q q1 1

q q1 2

q4

q q4 3

q q5 5

∑ = {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

q3

q1

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.

q0

q q1 1

q q1 3

q q1 2