Hola
fulanitoooz, bienvenido al foro!!
Ayuda con este problema de autómatas!
Diseñar los autómatas finitos deterministas que acepten los siguientes lenguajes:
a) \( \Sigma= \{0, 1\} \). L = lenguaje de las cadenas sobre \( \Sigma \) de longitud impar.
b) \( \Sigma = \{0, 1\} \). L = lenguaje de las cadenas sobre \( \Sigma \) que contienen un numero impar de unos.
Es conveniente que por cada ejercicio abras un nuevo tema para mantener organizado el foro.
Por otro lado,
¿qué intentaste? Es importante que nos digas qué hiciste y qué dudas concretas tienes así podemos ayudarte mejor.
Te ayudo con el primero. Puedes pensar que un número impar es de la forma \( 1+2n \), luego podemos pensar el lenguaje con una ER:
\( (0+1)((0+1)(0+1))^* \)
donde el primer \( (0+1) \) nos obliga a poner un número, y la otra parte genera cadenas de longitud par.
Para hacer el AFD del estado inicial puede salir un \( 0 \) o un \( 1 \) hacia el estado final, del cual debe volver un \( 0 \) o \( 1 \) al estado inicial para formar un ciclo de longitud par. Te dejo que lo dibujes tú.
Si tienes dudas, consulta.
Saludos
