ACTIVIDAD VII: AUTÓMATAS FINITOS DETERMINISTAS

Y NO DETERMINISTAS
Fecha de entrega: dos semanas.
Entregables: mínimo diez ejercicios.

1. Contesta las siguientes preguntas acerca de los Autómatas Finitos Deterministas de la

figura 1.
a) ¿Cuál es el estado inicial?
b) ¿Cuál es el conjunto de estados de aceptación?
c) ¿Cuál es la secuencia de estados por la que pasa M1 y M2 en la entrada aabb?
d) ¿M1 y M2 aceptan la cadena aabb?
e) ¿M1 y M2 aceptan la cadena λ?
f) Dar la descripción formal de los autómatas finitos M1 y M2 de la figura 1

Figura 1. Autómatas finitos deterministas M1 y M2

2. La descripción formal de un AFD M es ({u,d}, {q1, q2, q3, q4, q5}, δ ,q3, {q3}),
donde δ se muestra en la tabla de transiciones siguiente. Dar el diagrama de estado para
M y definir el lenguaje que genera.

3. Cada uno de los lenguajes siguientes es la intersección de dos lenguajes más simples.
Para cada lenguaje, construya el AFD de cada lenguaje simple, después combínelos
para dar el diagrama de estado del AFD de cada lenguaje dado. Para todos, el alfabeto
es Σ = {a,b}
a) {w | w tiene al menos tres a’s y al menos dos b’s}
b) {w | w tiene número par de a’s y una o dos b’s}
c) {w | w tiene un número impar de a’s y termina con una b}
4. Cada uno de los lenguajes siguientes es la intersección de dos lenguajes más simples.
Para cada lenguaje, construya el AFD de cada lenguaje simple, después combínelos
para dar el diagrama de estado del AFD de cada lenguaje dado. Para todos, el alfabeto
es Σ = {a,b}
a) {w | w tiene exactamente dos a’s y al menos dos b’s}
b) {w | w tiene número par de a’s y cada a es seguida por al menos una b}
c) {w | w comienza con una a y tiene a lo más una b}

5. Una puerta de seguridad tiene una sola cerradura. Para abrirla se necesitas insertar y
girar tres llaves distintas (denominadas x, y y z), en un orden predeterminado, que se
describe a continuación:
i. Llave x, seguida de llave y, seguida de llave z, o bien
ii. Llave y, seguida de llave x, seguida de llave z.

Si no se insertan las llaves en el orden adecuado, la puerta se bloquea. Una vez abierta
la puerta, no importa como introduces las llaves, no se afecta el mecanismo de la
misma.
Considere que las denominaciones de las llaves son símbolos de un alfabeto, y que el
lenguaje L se conforma con las palabras que contienen secuencias permitidas para abrir
la puerta. Por ejemplo, xyzyz es una palabra de dicho lenguaje.

Se pide:
a) Diseñar un autómata finito determinista que acepta el lenguaje L.
b) Gramática (limpia y bien formada) del lenguaje.

6. Sea el alfabeto Σ = {a,b} del lenguaje L = { w | |w| = 3}. Demuestre, a partir de un

autómata finito, que L es regular.

7. Escribe la expresión regular que corresponde al siguiente AFN:

8. Diseñar un autómata finito que acepte el lenguaje regular representado por la siguiente
expresión regular (b•a*)*

9. Dada la siguiente gramática regular, G= ({a,b},{S,A,B,C},S,P):

donde P={ S::= bA | bB, A ::= aA | aC | bC | b , B ::= bA | bC | b , C ::= b}, diseñar el
autómata finito que reconoce el lenguaje asociado a dicha gramática.

10. Construya un AFD y un AFN cuyo lenguaje reconocido sea el conjunto de cadenas
binarias que terminen en 1110.
11. Calcular el AFD que reconoce a cada uno de los siguientes lenguajes:
a) ab*c+a*c*
b) b* (a+bc)
c) a(bc)* + ab(cb)* cd

12. Sea G una gramática sobre el alfabeto {a, b} cuyas reglas de producción son las
siguientes:
Q0 → bA|λ, A → bB|λ, B → aA

Hallar un autómata que acepte el lenguaje generado por esa gramática. Hallar una
expresión regular que describa ese lenguaje.

13. Construir autómatas que acepten los siguientes lenguajes:

a) L1:={ω ∈ {a,b}* | abab es una subcadena de ω}.
b) L2:={ω ∈ {a,b}* | ni aa ni bb son subcadenas de ω}.
c) L3:={ω ∈ {a,b}* | ab y ba son subcadenas disjuntas de ω}.
d) L4 := {ω ∈ {a,b}* | bbb no es subcadena de ω}.

14. Dada la expresión regular (ab)* (ba)* + aa*, hallar:

a) El autómata determinista que acepta el lenguaje que describe esa expresión
regular.
b) Una gramática regular que genere dicho lenguaje.

15. Se considera el autómata descrito por la información siguiente A := (Q,Σ,q0,F,δ), y

i. Σ:={0,1},
ii. Q:={q0,q1,q2,q3,q4,q5},
iii. F :={q1,q3,q5}.
Y δ es dado por la tabla siguiente:

δ 0 1 Λ

q0 q1 N.D. N.D.

q1 q2 q4 N.D.

q2 q3 q4 N.D.

q3 q3 q4 N.D.

q4 N.D. q4 N.D.

Se pide:
a) Dibujar el grafo de transición del autómata.
 b) Decidir si 0101 es aceptado por al autómata y describir la computación sobre esta
palabra.
c) Hallar un autómata determinista que acepte el mismo lenguaje.

16. Hallar una expresión regular y una gramática asociadas al lenguaje aceptado por el
autómata A := (Q, Σ, q0, F, δ), dado por las propiedades siguientes
i. Σ:={a,b},
ii. Q:={q0,q1,q2,q3,q4},
iii. F :={q3,q4}.
Y δ es dado por la tabla siguiente:

δ a b λ

q0 q1 N.D. N.D.

q1 q2 q4 N.D.

q2 q3 q4 N.D.

q3 q3 q4 N.D.

q4 N.D. q4 N.D.

17. Hallar los autómatas finitos que aceptan los lenguajes descritos por las siguientes
expresiones regulares:
a) a(bc)*(b+bc)+a
b) (a(ab))*(b+bc)+a