UNIVERSIDAD DEL MAGDALENA EXAMEN FINAL COMPILADORES ENTREGA SABADO 10:00 A.M. 1.

Dado el autmata M

Una expresin regular que define el lenguaje L(M) es A. (((x|z)(x*y|zy*x))|yy*x) B. (yy*x)|((x|z)x*((zy*x)|y)) C. (y*x)|((x|z)x*((zyx)|y)) D. (yy*x)((x|z)x*((zy*x)|y)) E. (yy*x)|(xzx*((zy*x)|y)) 2. Indique cul de las siguientes afirmaciones es la verdadera: a. Ninguna de las anteriores. b. Las mquinas de turing y los autmatas de pila son autmatas finitos. c. Los autmatas finitos solo pueden aceptar lenguajes finitos. d. Los autmatas finitos tienen un nmero finito de estados. 3. Indique cul de las siguientes afirmaciones es verdadera: a. Los autmatas finitos no deterministas son ms potentes que los autmatas finitos deterministas b. Ninguna de las afirmaciones anteriores es cierta c. En un diagrama completo que represente a un autmata finito determinista, de cada estado sale un arco por smbolo y solo uno. d. Un autmata finito no determinista es una representacin abreviada de un autmata finito determinista.

4. Teniendo en cuenta que podemos definir un Autmata como una mquina conceptual o terica para el reconocimiento de patrones, entonces los siguientes componentes: Analizados Lxico, Analizador Sintctico y Generador de Cdigo corresponderan a una aplicacin de un Autmata en el la implementacin de: a. Lenguajes de Programacin b. Compiladores c. Aplicaciones de Computador d. Procesadores de texto 5. Indique cul de las siguientes afirmaciones es FALSA: a. Un autmata finito determinista utilizado como reconocedor de lenguajes con al menos una cadena necesariamente tiene que tener al menos un estado de aceptacin. b. Un autmata reconoce una cadena cuando alcanza un estado de aceptacin durante su lectura. c. Un autmata finito determinista M reconoce un lenguaje L(M) si acepta exclusivamente la coleccin de cadenas de dicho lenguaje. d. Dada una gramtica regular G, siempre existe un autmata finito M tal que L(G) = L(M) y M tiene un nico estado de aceptacin.

6. Indique cul de las siguientes afirmaciones es Falsa: a. En un autmata finito determinista para cada estado existe exactamente una transicin por cada smbolo del alfabeto de la mquina. b. En un autmata finito no determinista puede haber cero, una o ms transiciones desde un estado leyendo el mismo smbolo de entrada que conduzcan a estados diferentes (o posiblemente al mismo). c. Para un autmata finito no determinista siempre podrn recorrerse una o ms rutas distintas al leer una cadena dada, y por tanto todas debern examinarse para verificar si alguna termina en un estado de aceptacin. d. Los autmatas finitos tienen un nmero finito de estados. 7. Para el siguiente grafo la tabla de transicin es :

a.
E q0 q1 q2 q3 0 q0 q0 q3 q2 1 q1 q0 q0 q2

b.
E 0 q0 q1 q3 q1 q2 q3 q3 q3 1 q2 q0 q3 q3

c.
E q0 q1 q2 q3 0 q1 q3 q3 q3 1 q0 q0 q3 q3

d.
E q0 q1 q2 q3 0 q0 q3 q0 q2 1 q0 q1 q3 q2

8. El siguiente autmata finito representa la expresin regular:

a. b. c. d.

(q|q1)* (ac|b)* (bb|ab)* (ac|b|c)*

9. Los autmatas se pueden representar mediante: a. El conjunto de tablas representativas b. El conjunto de entradas de una mquina de turing c. Diagrama de Moore d. Tablas de transiciones Seleccione al menos una respuesta. 10. Los autmatas finitos se utilizan generalmente para: a. Reconocer todo tipo de lenguajes. b. No tienen un uso habitual en la computacin prcticaactual. c. Verificar que las cadenas pertenecen al lenguaje d. Como un analizador en la traduccin de algoritmos alcomputador

PUNTO PRCTICO 1. Considere la gramtica G cuyas producciones son las siguientes: (1) (2) (3) (4) (5) (6) (7) (8) A -> M = E; M -> id E -> E + T E -> T T -> T / F T -> F F ->( E ) F -> M

a. Construido la tabla LL(1) para esta gramtica

( A E E F T M T FT TE (E) FT id FT +TE TE M ) + / ; = id M=E; $

PRIMEROS

CARCTER

SIGUIENTES

CARACTER

) ) ) ) ) )

b. Construya la tala SLR (1)

( 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

id D3

$ Acc

A 1

M 2

R2 D5 D5 R6 R8 R4 D14 D5 D5 R7 R3 R5

R2

R2

R2

D4 R2 D3 D3 6 10 7 7 8 8 9 9

D11 R6 R8 R4 D11

R6 R8 D13

D12 R6 R8 R4 D3 R1 D3 16 8 7 8 15

R7 R3 R5

R7 D13 R5

R7 R3 R5

) ) ) )

)} ) { ) )

} ) } ) ) )

) )

)} ) ) ) )

) ) )

.}

} ) )

} ) )) ) } ) ) ) ) ) ) ) ) ) )

2. Considere la gramtica S LP; E LP LP;num | num E num | var | fun (E) a. Calcule los conjuntos PRIMERO y SIGUIENTE

PRIMEROS

CARCTER

SIGUIENTES

CARACTER

b. Cree la tabla para LR(1)

) ) )

) ) ) ) ) ) ) )

} ) )

)} ) ) ) ) ) ) )) ) ).

( 0 1 2 3 4 5 6 7 8 D12 9 10 11 12 13 14 15

; D4

fun

num D3

var

LP LP' 1

S 2

acc R4 D8 R2 R1 R5 R6 R4 D8 R3 D15 R7 R7 D D10 14 R5 R6 13 D9 D11 D10 7 6

Realice una prueba

pila Entrada Accin

3. Construya un AFD con mnimo nmero de estados para las siguientes expresiones regulares: a. (aa|b)*(a|bb)* b. (a|b)*a(a|b)(a|b)

qo= {0,2,6,3,8,10,4,12,16,5,18,20,1,22,} =A Aa={13,19} Ab={23} {13,19}={13,14,19,17,5,1,4,16,18,20,22}=B Ba={15,19} {15,19}={15,9,7,3,4,2,16,5,6,18,20,1,8,10,22,12,19,17}=C Ca={13,19}=B Cb={11,23} {11,23}={11,7,3,4,2,16,5,6,18,20,1,8,10,22,12,23,24}=D Da={13,19}=B Db={11,23,25} {11,23,25}={11,7,3,4,2,16,5,6,18,20,1,8,10,22,12,23,24,25,21,17}=E Ea={13,19}=B Eb={11,23,25}E {23}={23,24}=F Fb={25} {25}= {25,21,17,5,1,4,16,18,20,22}=G Ga={19} Gb={23}=F {19}= {19,17,5,1,4,16,18,20,22}=H

Ha={19}=H Hb={23}=F

SIMPLIFICANDO QUEDA: