(Ejercicios) PEP1

Universidad de Santiago de Chile
Facultad de Ingeniera
Departamento de Ingeniera Informtica
Ingeniera Civil en Informtica
Autmatas y Lenguajes Formales
EJERCICIOS
PEP N1
1. Sea M el AFN dado por Q = {q0, q1}, = {a, b}, q0 = q0, F = {q1} y dada en la tabla.
Determinar si a2b est en L(M).
a b
q0 {q0, q1} {q1}
q1 {q0, q1}
2. Minimice el autmata, utilizando ambos mtodos tratados en clases:
a b
*q1 q2 q1
q2 q5 q4
*q3 q5 q1
q4 q1 q6
q5 q2 q6
q6 q3 q6
3. Construir el AFD mnimo equivalente, utilizando ambos mtodos tratados en clases.
0 1
A B A
B A C
C D B
*D D A
E D F
F G E
G F G
H G D
Profesora: Sra. Consuelo Ramrez.

4. Construir el AFD mnimo equivalente, utilizando ambos mtodos tratados en clases.
0 1
A B E
B C F
*C D H
D E H
E F I
*F G B
G H B
H I C
*I A E
5. Obtener el AFD mnimo que corresponda al AFD de la figura, utilizando ambos mtodos
tratados en clases.
a
a
q0 q1
b b
b a b a
b
q2 q3 q4
a
6. Obtener el AFD mnimo que corresponda al AFD de la figura, utilizando ambos mtodos
tratados en clases.
a
q0 q1
a
b b
q2 q3
b a
a b
q4 q5
b
a a,b

7. Determinar si la palabra babba es aceptada por el AFN.

a,b a,b
a a
q0 q3 q4
q1
q2
a,b
8. Para el diagrama de la figura construya un AFD que acepte el mismo lenguaje, utilizando
ambos mtodos tratados en clases.
b b
b
q0 q1
a
b a
q2
9. Convertir el siguiente AFN a AFD, utilizando ambos mtodos tratados en clases:
0 1
p {p, q} {p}
q {r} {r}
r {s}
*s {s} {s}
10. Convertir el siguiente AFN a AFD, utilizando ambos mtodos tratados en clases:
0 1
p {q, s} {q}
*q {r} {q, r}
r {s} {p}
*s {p}

11. Convertir el siguiente AFN a AFD.
0 1
p {p, q} {p}
q {r, s} {t}
r {p, r} {t}
*s
*t
12. Dibuje un diagrama de transiciones para un autmata finito determinista que acepte las
mismas cadenas que el autmata finito no determinista representado en el siguiente diagrama
de transiciones, utilizando ambos mtodos tratados en clases.
b
q0 q1
a
b a
q2
13. Obtenga un autmata finito determinista que acepte las mismas cadenas que el autmata
finito no determinista representado a continuacin, utilizando ambos mtodos tratados en
clases:
b
q0 q1
b a
q2
14. Construir el AFD correspondiente al AFN dado en la figura.

a b
a,b
q0 q1
b

15. Obtenga el AFN equivalente para el siguiente AFN-:

q0 q1 q2
a b
q3 q4
b
16. Obtenga el AFN equivalente para el siguiente AFN-:
a b
A {B}
*B {C} {D, E}
*C {B, C} {D} {D, E}
D {A, B, D} {C}
E {E} {E} {A}
17. Para el AFN-, obtener el AFN que se obtiene al eliminar las transiciones .
a b c

q0 q1 q2
18. Convertir el siguiente AFN- en un AFD:

q0 q1 q2
a b
q3 q4
b
19. Sea el siguiente AFN-
a b c
p {p} {q} {r}
q {p} {q} {r}
*r {q} {r} {p}
Convertir el autmata en un AFD.

a b c
p {q, r} {q} {r}
q {p} {r} {p, q}
*r
a b c
p {q, r} {q} {r}
q {p} {r} {p, q}
*r
22. Dibuje un diagrama de transiciones que acepte la unin de los lenguajes aceptados por los
siguientes diagramas.
a
q1 q2
x
q3 q4
y
23. Sea M1 dado por la Figura 1 y M 2 dado en la Figura 2. Obtener un AFN- que acepte
L(M1)L(M2).
a
q1 q2
a b
p1 p2 p3
b
b
a
q3 q4
a
b
Figura 1 Figura 2

24. Dibuje un diagrama de transiciones que acepte la estrella de Kleene del lenguaje aceptado
por el siguiente diagrama.
a
c
q1 q2 q3
25. Obtener un AFN- para (ab)* a partir de los AFN que aceptan {a} y {b}.
Convertirlo en AFN.
26. Construya un autmata finito equivalente a la siguiente expresin regular.
10 + (0 + 11)0*1
27. Obtener un AFN- que acepte el lenguaje ab* + ab*a.
28. Convertir la siguiente expresin regular a AFN-.
(0 + 1)01
29. Obtenga el AFD para la expresin regular (0 + 1) *1 + 00*, utilizando la construccin de

Thompson y la construccin de subconjuntos.
30. Sea ={a, b}. Construir el AFD que acepte a*b.
31. Sea ={a, b}. Construir el AFD que acepte ab*.
32. Encontrar un AFN- para (a + b)*aabab.

Convertirlo en un AFD.
33. Obtenga el AFD mnimo que reconozca la expresin regular (a + ab)*a, utilizando la
construccin de Thompson, la construccin de subconjuntos y ambos mtodos de
minimizacin tratados en clases.
34. Obtenga el AFD mnimo que reconozca la expresin regular (a + ab*)*b, utilizando la
construccin de Thompson, la construccin de subconjuntos y ambos mtodos de
minimizacin tratados en clases.

35. Obtenga la expresin regular que corresponde al siguiente autmata finito, utilizando ambos
mtodos tratados en clases.
a a
b
q1 q2
b
36. Construya una expresin regular que corresponda al diagrama de estado que se da en la
figura, utilizando ambos mtodos tratados en clases.
0
1 0
0
B C
1
1
37. Obtenga una expresin regular para el AFD de la figura, utilizando ambos mtodos tratados
en clases.
a
q0 q1
a
b b
q2
a,b
38. Obtenga la expresin regular que corresponde al siguiente autmata finito, utilizando ambos
mtodos tratados en clases:
a b
b
q1 q2
a

39. Dado el AFD
0 1
A B C
*B B C
C A B
Obtenga la expresin regular equivalente, utilizando ambos mtodos tratados en clases.
40. Construya una expresin regular que corresponda al diagrama de estado que se da en la
figura, utilizando ambos mtodos tratados en clases.
0 1
0 1
1
B C
0
41. Aqu tenemos la tabla de transicin de un AFD:
0 1
q1 q2 q3
q2 q1 q3
*q3 q2 q1
Obtener una expresin regular para el lenguaje del autmata, utilizando ambos mtodos
tratados en clases.
42. Obtener una expresin regular para el lenguaje aceptado por el autmata de la figura.
b a a,b
a
a b a
q1 q2 q3 q4 q5

43. Obtener una expresin regular para el lenguaje aceptado por el autmata de la figura.
a,b
a b
q1 q2 q3
b a
b
q4
44. Construya una expresin regular que describa el lenguaje aceptado por el siguiente diagrama
de transiciones.
b
q1
a a
a,b
q0 q3 q4
b b
q2
45. Convertir el siguiente AFD en una expresin regular.
0 1
*p s p
q p s
r r q
s q r

46. Obtener una expresin regular para el lenguaje aceptado por el autmata finito de la figura.
a a a a
q0 q1 q2 q3 q4
b b b b
b b
q5 q6 q7
a a a
a
q8 q9
b b
q10
47. Construya un AFN- para la gramtica regular
G = ({S, B, C}, {a, b, c}, P, S)

P = {
S aS | bB | b
B cC
C aS |
}
48. Construir un autmata finito para la gramtica regular
G = ({S, A, B}, {a, b}, P, S)

P = {
S aA | B | bB |
A bS | b
B aS
}
49. Construir un AFN- para la gramtica regular:
G = ({S, A}, {a, b}, P, S)

P = {
S aS | bA | a |
A aS | bA | b
}

50. Construir un AFN- para la gramtica regular:
G = ({S}, {a, b}, {S aS | bS | }, S)
51. Construya un AFN- para la gramtica regular:
G = ({S, A}, {a}, P, S)

P = {
S | a | aa | aaa | aaaaA
A aA | a
}
52. Encuentre un diagrama de transiciones que acepte el lenguaje generado por la gramtica
regular que se presenta a continuacin:
G = ({S, N, M}, {x, y, z}, P, S)

P = {
S xN | x |
N yM | y
M zN | z
}
53. Construir un autmata finito para la gramtica regular
G = ({S, A, B}, {a, b}, P, S)

P = {
S abA | B | baB |
A bS | b
B aS
}
54. Construir un AFN para la gramtica regular
G = ({S, B, C}, {a, b, c}, P, S)

P = {
S aS | bB | b
B cC
C aS
}

55. Dibuje un diagrama de transiciones para un autmata finito que acepte el lenguaje generado
por la gramtica regular que se presenta a continuacin.
G = ({S, Y, X}, {x, y}, P, S)

P = {
S | xX| yY
Y yY |
X xX |
}
56. Encuentre un diagrama de transiciones que acepte el lenguaje generado por la gramtica
regular que se presenta a continuacin.
G = ({S, N, M}, {x, y, z}, P, S)

P = {
S xN | x
N yM | y
M zN | z
}
57. Dado el autmata

1
q0 q1
1
0 0 0 0
1
q2 q3
obtenga la gramtica regular lineal por la derecha asociada.

58. Construir una gramtica regular lineal por la derecha para el lenguaje regular aceptado por el
autmata finito de la figura.
a b
q0 q1 q2
b a b
b
b q3 q5
a a a,b
q4
59. Presente una gramtica regular lineal por la derecha que genere el lenguaje aceptado por el
autmata finito cuyo diagrama de transiciones se presenta a continuacin.
b
q1 a,b
a a
q0 q3
2
b b
q2
60. Obtenga la gramtica regular lineal por la derecha asociada al siguiente AFD:
0 1
q1 q2 q3
0 0,1

61. Dado el autmata

0
q0 q1
1
0 1 0
1
q2 q3
0,1
obtenga la gramtica regular lineal por la derecha asociada.
62. Construya la gramtica regular lineal por la derecha equivalente al siguiente autmata finito:
a b
*q0 q0 q1
*q1 q0 q2
*q2 q0 q3
q3 q3 q3
63. Construir una gramtica regular lineal por la derecha para el lenguaje regular aceptado por el
autmata finito de la figura.
a b
q0 q1 q2
b b
q3 b q4
q5
q6

(Ejercicios) PEP1

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

(Ejercicios) PEP1

Uploaded by

Copyright:

Available Formats

Universidad de Santiago de Chile

2. Minimice el autmata, utilizando ambos mtodos tratados en clases:

3. Construir el AFD mnimo equivalente, utilizando ambos mtodos tratados en clases.

Profesora: Sra. Consuelo Ramrez.

4. Construir el AFD mnimo equivalente, utilizando ambos mtodos tratados en clases.

Profesora: Sra. Consuelo Ramrez.

7. Determinar si la palabra babba es aceptada por el AFN.

9. Convertir el siguiente AFN a AFD, utilizando ambos mtodos tratados en clases:

Profesora: Sra. Consuelo Ramrez.

11. Convertir el siguiente AFN a AFD.

14. Construir el AFD correspondiente al AFN dado en la figura.

Profesora: Sra. Consuelo Ramrez.

15. Obtenga el AFN equivalente para el siguiente AFN-:

16. Obtenga el AFN equivalente para el siguiente AFN-:

18. Convertir el siguiente AFN- en un AFD:

19. Sea el siguiente AFN-

Convertir el autmata en un AFD.

Profesora: Sra. Consuelo Ramrez.

20. Sea el siguiente AFN-

Convertir el autmata en un AFD.

21. Sea el siguiente AFN-

Convertir el autmata en un AFD.

Profesora: Sra. Consuelo Ramrez.

26. Construya un autmata finito equivalente a la siguiente expresin regular.

27. Obtener un AFN- que acepte el lenguaje ab* + ab*a.

28. Convertir la siguiente expresin regular a AFN-.

29. Obtenga el AFD para la expresin regular (0 + 1) *1 + 00*, utilizando la construccin de

30. Sea ={a, b}. Construir el AFD que acepte a*b.

31. Sea ={a, b}. Construir el AFD que acepte ab*.

32. Encontrar un AFN- para (a + b)*aabab.

Profesora: Sra. Consuelo Ramrez.

Profesora: Sra. Consuelo Ramrez.

39. Dado el AFD

Obtenga la expresin regular equivalente, utilizando ambos mtodos tratados en clases.

41. Aqu tenemos la tabla de transicin de un AFD:

Profesora: Sra. Consuelo Ramrez.

45. Convertir el siguiente AFD en una expresin regular.

Profesora: Sra. Consuelo Ramrez.

47. Construya un AFN- para la gramtica regular

G = ({S, B, C}, {a, b, c}, P, S)

48. Construir un autmata finito para la gramtica regular

G = ({S, A, B}, {a, b}, P, S)

49. Construir un AFN- para la gramtica regular:

G = ({S, A}, {a, b}, P, S)

Profesora: Sra. Consuelo Ramrez.

50. Construir un AFN- para la gramtica regular:

G = ({S}, {a, b}, {S aS | bS | }, S)

51. Construya un AFN- para la gramtica regular:

G = ({S, A}, {a}, P, S)

G = ({S, N, M}, {x, y, z}, P, S)

53. Construir un autmata finito para la gramtica regular

G = ({S, A, B}, {a, b}, P, S)

54. Construir un AFN para la gramtica regular

G = ({S, B, C}, {a, b, c}, P, S)

Profesora: Sra. Consuelo Ramrez.

G = ({S, Y, X}, {x, y}, P, S)

G = ({S, N, M}, {x, y, z}, P, S)

57. Dado el autmata

obtenga la gramtica regular lineal por la derecha asociada.

Profesora: Sra. Consuelo Ramrez.

Profesora: Sra. Consuelo Ramrez.

61. Dado el autmata

obtenga la gramtica regular lineal por la derecha asociada.

29. Obtenga el AFD para la expresin regular (0 + 1) 1 + 00, utilizando la construccin de