Download Unidad 1 Analisis semantico PDF

TitleUnidad 1 Analisis semantico
TagsComputer Programming Software Engineering Compiler Parsing
File Size459.3 KB
Total Pages24
Document Text Contents
Page 2

Introducción.........Introducción......................................................................................................................................................................................2...............................2

 Análisis Semántico....... Análisis Semántico.............................................................................................................................................................................................3......3

 Arboles de expresiones.......... Arboles de expresiones..........................................................................................................................................................................

 Acciones semánticas de un analizador sintáctico........ Acciones semánticas de un analizador sintáctico....................................................................................!!....!!

Comprobaciones Comprobaciones de de tipos tipos en en expresiones.............expresiones...........................................................................................................!!......!!

"s#uemas "s#uemas de de $raducción.....$raducción...............................................................................................................................................................!%............!%

Generación de Generación de la tabla la tabla de s&mbolo de s&mbolo y de y de direcciones..............direcciones.........................................................................!.......!

'ane(o 'ane(o de de errores errores semánticos..........semánticos................................................................................................................................................2)2)

Conclusiones.........Conclusiones....................................................................................................................................................................................................22.........22

Page 13

Cuantas más comprobaciones puedan realizarse en la ,ase de Compilación-
menos tendrán #ue realizarse durante la e(ecución

• 'ayor e,iciencia del pro+rama ob(eto.

"s parte de la comprobación de tipos

• Conersión de tipos expl&cita trans,ormación del tipo de una expresión con
un propósito determinado.

• Coerción conersión de tipos #ue realiza de ,orma impl&cita el compilador.

Conersión de tipos expl&cita el pro+ramador indica el tipo destino.

• <unciona como una llamada a ,unción recibe un tipo y deuele otro.

Conersión de tipos impl&cita el compilador conierte automáticamente elementos
de un tipo en elementos de otro.

• ;a conersión se llea a cabo en la acción semántica de la re+la donde se
realiza.
Comprobador de tipos se+uro =urante la compilación 9comprobación
estática: detecta todos los posibles errores de tipo.

• ;en+ua(e ,uertemente tipado Si un ,ra+mento de códi+o compila es #ue no
se an a producir errores de tipo.

• "n la práctica- nin+0n len+ua(e es tan ,uertemente tipado #ue permita una
completa comprobación estática.

In,ormación de tipos dinámica "l compilador debe +enerar códi+o #ue realice la
in,erencia y eri,icación de tipos durante la e(ecución del pro+rama #ue se está
compilando.

Vlet primero 9a-b:  a44

primero  a Q b W a  X,unW

In,ormación de tipos estática

 U Se utiliza para eri,icar la exactitud del pro+rama antes de la e(ecución.

 U Permite determinar la asi+nación de memoria necesaria para cada ariable.

,unction Primero9a-binte+er:inte+er4

be+in

Page 23

onclusiones

"l analizador semántico tiene dos ob(etios

Z *acer comprobaciones #ue no se 5a+an durante el análisis l8xico o sintáctico.

Z Crear una representación adecuada para ,ases posteriores.

Implementaremos el análisis semántico en dos partes

Z 'ediante es#uemas de traducción diri+idos por la sintaxis.

Z Recorriendo el AS$.

?n es#uema de traducción diri+ido por la sintaxis aMade a las +ramáticas

Z Acciones intercaladas en las partes derec5as de las re+las.

Z Atributos asociados a los no terminales.

=os tipos de atributos 5eredados y sintetizados.

;as acciones deben +arantizar #ue se eal0an correctamente los atributos.

Se pueden implementar los es#uemas de traducción sobre los analizadores
sintácticos interpretando los atributos como parámetros y aMadiendo el códi+o de
las acciones al códi+o del analizador.

"l cálculo de al+unos atributos y al+unas comprobaciones semánticas son más
,áciles sobre el AS$

Similer Documents