Computación I

Haz un autómata que acepte las palabras que tengan un número de ceros impares.
Para el utómata que acepte números de la forma (2k+1) donde k es un entero positivo se tiene:
1 1

𝑞0 𝑞1

Extrae una serie de pasos y estados concretos, que modelen el enunciado planteado.
Al introducir la primera palabra la cual es: 100110111010, que tiene un número impar de ceros el autómata
funciona de la siguiente manera:
𝑞0 , 1: 𝑞0 , 0: 𝑞1 , 0: 𝑞0 , 1: 𝑞0 , 1: 𝑞0 , 0: 𝑞1 , 1, 𝑞1 , 1: 𝑞1 , 1: 𝑞1 , 1: 𝑞1 , 0: 𝑞0 , 1: 𝑞0 , 0
Al recibir la entrada 0, estando en 𝑞0 , entonces pasará al estado final 𝑞1 y habrá terminado el proceso.
Al introducir una segunda palabra la cual es: 10010011010, que tiene un número par de ceros el autómata
funciona de la siguiente manera:
𝑞0 , 1: 𝑞0 , 0: 𝑞1 , 0: 𝑞0 , 1: 𝑞0 , 0: 𝑞1 , 0: 𝑞0 , 1, 𝑞0 , 1: 𝑞0 , 0: 𝑞1 , 1: 𝑞0 , 0: 𝑞0 , 1: 𝑞1 , 0
Al recibir la entrada 0, estando en 𝑞1 , entonces pasará al estado inicial 𝑞0 por lo que la palabra no será
aceptada.
Una vez hecho esto deberás proponer un autómata que capture su funcionamiento así como una
gramática que reconozca el lenguaje que este genera.
a. Identifica el lenguaje.
i. Alfabeto: Σ, la palabra: w sobre Σ, muestra ejemplos e indica el tamaño de algunas palabras: |w|,
representa al menos dos cadenas de tamaño fijo: Σ1, Σ2, expresa la gramática, (Σ, V, S, P).
Σ = {0, 1}
𝑤(Σ) = {𝜆, 0,1,10,11,100 … } donde 𝜆 es la palabra vacía.
|𝑤| = |10| = 2
|𝑤| = |10100| = 5
|𝑤| = |10010010| = 8
|𝑤| = |1001011101101| = 13

Cadena: es una secuencia finita de letras:

Cadena 1: 1110000
Cadena 2: 111100011110

Universidad Abierta y a Distancia de México

 Computación I

Recursos:
Teoría de autómatas y lenguajes formales, consultado el 27/04/19 disponible en línea en:
http://ocw.uc3m.es/ingenieria-informatica/teoria-de-automatas-y-lenguajes-formales/ejercicios/ejercicios-tema-3-
automatas-finitos

Basics of automata theory, consultado el 27/04/19 disponible en línea en:

https://cs.stanford.edu/people/eroberts/courses/soco/projects/2004-05/automata-theory/basics.html

Universidad Abierta y a Distancia de México