Ejercicio De Analisis Semantico

Ejercio de análisis semántico

1. UNIVERSIDAD NACIONAL DE
LOJA
ÁREA DE LA ENERGÍA, LAS INDUSTRIAS Y LOS
RECURSOS NATURALES NO RENOVABLES.
CARRERA DE INGENIERIA EN SISTEMAS
MODULO IX
“PROYECTOS FINAL”
TEMA:
Análisis semántico
INTEGRANTES :
CatalinaCobos
CarlaEspinosa
LOJA 2010

3. Antesdeempezaradesarrollarelejercicio
debemostenerbienclarolosiguiente
Debidoaquenuestroejercicioesdetipoheredadodebemossaberque:
•Losatributosheredadostienendependenciasquefluyenyaseadepadre
ahijosenelárboldeanálisisgramatical(aloquedebensunombre)ode
hermanoahermano.
•Larazónparaqueélatributoseaheredadoessualgoritmo,laherencia
entrehermanosamenudoseimplementadetalmaneraquelosvalores
deatributosepasendehermanoahermanouatravésdelpadre.

4. EXPLICACIÓN
•Determinarparaquevamosautilizarlagramática.
DeclaracióndevariablesdetipoC
•Identificareltipodedatodelatributooelvalordelaexpresión.
•Determinarlasecuacionesconrespectoalosatributos.
•Analizarbienelenunciadoquenospresentaesteejercicio

5. TABLA CON LAS REGLAS
Acontinuaciónpresentamoselformatoquedebetenerlatabla
pararesolverelejercicio:

6. •Ejercicio:Considerelasiguiente
gramáticasimpleparadeclaracionesde
variableenunasintaxistipoC:
Gramática
Gramáticas con atributos

7. EnunciadodelEjercicio
•Queremosdefinirunatributodetipodedatosparalas
variablesdadasporlosidentificadoresenunadeclaracióny
escribirecuacionesqueexpresencómoestárelacionadoel
atributodetipodedatosconeltipodeladeclaración.
Hacemosestoconstruyendounagramáticaconatributospara
unatributodtype(utilizamoselnombredtypeparadistinguir
elatributodelnoterminaltype).

8. •Enprimerlugar,losvaloresdedtypesondelconjunto
(integer,real)quecorrespondealostokensintyfloat.Elno
terminaltypetieneundtypedadoporeltokenquerepresenta.
Estedtypecorrespondealdtypedelavar-listentera,porla
ecuaciónasociadaconlareglagramaticalparadecl.Cadaiden
lalistatieneestemismodtype,porlasecuacionesasociadas
convar-list.Adviertaquenohayecuaciónqueinvolucreel
dtypedelnoterminaldecl.Enrealidad,unadeclnonecesita
tenerundtype:noesnecesarioespecificarelvalordeun
atributoparatodoslossímbolosgramaticales.

9. Desarrollo del Ejercicio
Paraunamejorcomprensiónyelaboracióndelas
reglassemánticascomenzaremosconstruyendoun
árbolapartirdeunacadenavalida.
CadenaFloatx , y
Para irnos ayudando podemos ir realizando las derivaciones
como se muestra a continuación

11. Decla
Type Var-List
decl
var-listtype
2. Construimos el árbol a partir de la cadena:
Float x , y
1. Partimos de la gramática

12. Dtype =real
Decla
Type Var-List
Float
decl id, var-list
float
type
id var-list
var-listtype
,
dtype
type = int Integer
type = float Real

13. Dtype =real
Decla
Type Var-List
Float
Necesita
encontrar
este valor
Tomamos el
valor del
hermano Type
Dtype =real
decl id, var-list
float
type
id var-list
var-listtype
,

14. Dtype =real
Decla
Type Var-List
Float
Necesita
encontrar
este valor
Tomamos el
valor del
hermano Type
decl id, var-list
float
type
id var-list
id id
var-listtype
float
,
,
Dtype =real

15. Dtype =real
Decla
Type Var-List
Float
Dtype =real
decl id, var-list
float
type
id var-list
id id
var-listtype
float
,
,

16. Dtype =real
Decla
Type Var-List1
Float
id , Var-list2
Necesita encontrar
estos valores
Heredamos del
atributo padre 
Var-list
Dtype =real

17. Dtype =real
Dtype =real
Decla
Type Var-List1
Float
id , Var-list2
Dtype =realDtype =real

18. Dtype =real
Dtype =real
Decla
Type Var-List1
Float
id , Var-list2
decl id, var-list
float
type
id var-list
id id
var-listtype
X Y
float
float
,
,
,

19. Dtype =real
Dtype =realDtype =real
Dtype =real
Dtype =real
Decla
Type
Var-List1
Float
id ,
Var-list2
id

20. Dtype =real
Dtype =realDtype =real
Dtype =real
Dtype =real
Decla
Type
Var-List1
Float
id ,
Var-list2
id
Float x , y

21. Finalmentela tabla nos quedaría
así:
ReglaGramatical Reglas Semánticas
decltype var-list
type int
type float
var-list1id, var-list2
var-listid
var-list.dtype= type.dtype
type.dtype=integer
type.dtype= real
id.dtype= var-list1.dtype
var-list2.dtype = var-list1.dtype
id.dtype= var-list.dtype