Está en la página 1de 8

SEGUNDO PARCIAL COMPILADORES Nombre: KELLY RADA JIMENEZ Cd. 2010214097 Grupo 1.

1. Indique cul de las siguientes afirmaciones es verdadera:

a) Los autmatas finitos tienen un nmero finito de estados


b) Los autmatas finitos slo pueden aceptar lenguajes finitos c) Las mquinas de Turing y los autmatas de pila son autmatas finitos

(Correcta)

2. Indique cul de las siguientes afirmaciones es verdadera: a) Nunca se puede afirmar con seguridad que un autmata finito no determinista acepta una cadena b) Un autmata finito no determinista slo puede utilizarse para aceptar lenguajes finitos

c) Un autmata finito no determinista acepta una cadena cuando es posible que su anlisis deje a la mquina en un estado de aceptacin (Correcta)

3. Indique cul de las siguientes afirmaciones es verdadera: a) Un autmata finito no determinista es una representacin abreviada de un autmata finito determinista

b) En un diagrama completo que represente a un autmata finito determinista, de cada estado sale un arco por smbolo y slo uno (Correcta)
c) Los autmatas finitos no deterministas son ms potentes que los autmatas finitos deterministas 4. Considere un autmata finito M con transiciones que reconoce un lenguaje L. Indique cul de las siguientes afirmaciones es verdadera: a) Siempre existe un autmata finito sin transiciones que reconoce L

b) No existe ningn autmata finito sin transiciones que reconozca L (Correcta)


c) Depende de L 5. Marque las afirmaciones verdaderas: a. Podemos utilizar expresiones regulares para describir cualquier lenguaje independiente del contexto. b. Para que dos AFD sean equivalentes, su nmero de estados debe ser el mismo.

c. Todo AFND puede transformarse en un AFD equivalente. d. Dado un AFD siempre es posible encontrar la expresin regular correspondiente al lenguaje que acepta.
6. Dado el siguiente autmata responder las siguientes preguntas

(Correcta) (Correcta)

7.

La expresin regular del autmata es: a. (01)*011 b. (0|1)*(0|1)*1 c. (0|1)*1(0|1)*1

d. (0|1)+ 1(0|1)1 (correcta)


8. La Cerradura de q1 es: a. {q2,q4}

b. {q1,q2,q4,q6} (correcta)
9. c. {q2,q4,q6} d. {q1,q2,q4 } La Cerradura de {q5,q9} es: a. {q1,q2,q4,q5,q6,q7,q8,q9} b. {q1,q2,q4,q5,q6,q7,q8,q9,q10,q11,q12,q13} c. {q1,q2,q4,q5,q6,q7,q8,q10,q11,q13}

d. {q1,q2,q4,q5,q6,q7,q8,q9,q10,q11,q13} (Correcta)

10. Al transformar el AFN a AFD quedan los siguientes estados: a. {A,B,C,D,E,F} b. {A,B,C,D,E,F,G,H} c. {A,B,C,D,E,F,G}

d. {A,B,C,D,E,F,G,H,I} (Correcta)
11. El AFD no minimizado es: a.

b.

c.

d.

La respuesta es la letra d

12. El AFD minimizado de la siguiente grfica es:

d.

Respuesta:

Ninguno de los anteriores AFD

13. La expresin regular que representa el siguiente AFD es

a.

(a|b)*bb

b.
c. d.

aa*bb* (Correcta)
a*b*b aba*b*

14. La expresin regular que representa el siguiente AFD es

a. b.

a b|b a|b*

c.
d.

ab*|b (Correcta)
ab|b*

15. El AFD minimizado del siguiente AFD es:

Los smbolos con asteriscos representan los estados finales del autmata

Este es el AFD MINIMIZADO

16.DADO EL SIGUIENTE AUTOMATA MINIZARLO. Realizar el procedimiento paso a paso. Si no se muestra el


procedimiento el punto no vale.

Solucin Como q2, q3, q5 son estados no finales y q0, q1, q4 son estados finales tenemos: Los grupos:

TT0 = {q2, q3,q5


Luego,

q0,q1,94

Para el grupo q2,q3,q5 Desde F 0 1

q2
q3

q5
Para el grupo q0,q1,q4 Desde F

q0, q1 , q4 q2, q3, q5 q2 , q3 , q5

q0, q1, q4 q0, q1 ,q4 q2 , q3 ,q5

q0
q1

q4

q2, q3 , q5 q2, q3, q5 q2 , q3 , q5

------q2, q3 ,q5 q2 , q3 ,q5

_ _ _ _ ______ TT1 = { q2, q3 , q5, q0, q1,q4

q2 = A q3 = B q5= C q0= D q1, q4 = E