EXAMEN DE III UNIDAD - TLC

I.

COMPLETE LOS ESPACIOS EN BLANCO CON UNA BREVE

RESPUESTA(1 PTO C/U)
1. ___________LL(1)__________ son gramticas compatibles con el anlisis
descendente selectivo.
2. La gramtica LL (1) cumple con _2__ condiciones.
3. La tabla de anlisis sintctico se utiliza para ____analizar
cadenas___________
4. Son tcnicas del anlisis ascendente:
__reduccion y
desplazamiento___________________________________________
5. La indicacin de desplazamiento significa:
Que el simbolo estudiado actualmente en la cadena de entrada es
uno de los que espera alguna de las reglas con partes derechas
parcialmente analizadas
______________________________________________________________________
6. Una gramtica independiente del contexto G es una gramtica SLR(1)
si y solo si:
Su tabla de anlisis SLR(1) es determinista, es decir, no presenta
conflictos
______________________________________________________________________
7. Una gramtica independiente del contexto G es una gramtica LR(1)
si y solo si:
Su tabla de anlisis LR(1) es determinista es decir no presenta
conflictos_____________________________________________________________
_________
8. Una gramtica de precedencia simple no es ambigua porque solo se
puede

aplicar

una

regla

para

reducir_________________________________________
9. Es la diferencia entre atributos heredados por la derecha y por la
izquierda:
_________________________________________________________________
10.Menciona algunas herramientas para la generacin de analizadores
semnticos:
Los

programas

Yacc

lex___________________________________________________________________
_

II.

REALIZA LOS SIGUIENTES EJERCICIOS (10 PTOS)

1. Sea la siguiente gramtica ( 2 PTOS)
E::=T+E | T
T::=F*T | F
F::=i
Construye el rbol de derivacin para la palabra i * i
E
E
T

E
T

Construccin de una derivacin para la palabra i * i

derivacin para la palabra
F

i*i

2. Sea la siguiente gramtica ( 3 PTOS)

i E::=T+E
i
*
i
*
E::=T-E
E::=T
T::=F*T
T::=F/ T
T::=F
F::=i
F::=(E)
Aplicar la forma normal de Greibach a dicha gramtica:
E::=iPTME | (ECPTME | iDTME | (ECDTME | iME | (ECME
| iPTSE | (ECPTSE | iDTSE | (ECDTSE | iSE | (ECSE
| iPT | (ECPT
| iDT | (ECDT
| i
| (EC
T::= iPT | (ECPT
| iDT | (ECDT
| i
| (EC
F::=i | (EC
M::=+
S::=P::=*
D::=/
C::=)

rbol de

3. La tabla de anlisis sintctico SLR (1) para la siguiente gramtica est

incompleta. Considerar que S es el axioma (5 PUNTOS)
4.