semantica basica

6

SEMÁNTICA BÁSICA ........................................................................................................................................................... 2
6.1
ATRIBUTOS, LIGADURAS Y FUNCIONES SEMÁNTICAS ....................................................................................................................... 2
6.2
DECLARACIONES, BLOQUES Y ALCANCE...................................................................................................................................... 4
6.3
TABLA DE SÍMBOLOS ............................................................................................................................................................... 6
6.4
RESOLUCIÓN Y SOBRECARGA DE NOMBRES................................................................................................................................. 7
6.5
ASIGNACIÓN, TIEMPO DE VIDA Y EL ENTORNO ............................................................................................................................... 8
6.6
VARIABLES Y CONSTANTES..................................................................................................................................................... 10
6.6.1 Variables ..................................................................................................................................................................... 10
6.6.2Constantes................................................................................................................................................................... 11
6.7
ALIAS, REFERENCIAS PENDIENTES Y BASURA.............................................................................................................................. 12
6.7.1 Alias ............................................................................................................................................................................. 12
6.7.2 Referenciaspendientes ............................................................................................................................................... 13
6.7.3 Basura ......................................................................................................................................................................... 14

6 Semántica básica



Sintaxis:
o Es la formaen la que aparecen los constructores del lenguaje.
Semántica:
o Es lo que los constructores del lenguaje hacen.



La especificación de la semántica de un LP es una tarea más difícil que la especificación de su sintaxis, como podríamos
esperar cuando hablamos de significado en contraposición a forma o estructura.



Existen varias formas de especificar la semántica mediante:
o Unmanual de referencia de lenguaje:
 Éste es el método más común.
 Los inconvenientes son:
 La falta de precisión debido a las descripciones en lenguaje natural.
 Las omisiones o ambigüedades que puede tener.
o Un traductor definidor:
 Los inconvenientes son que:
 Las preguntas relacionadas con el comportamiento de un programa no pueden contestarse por
adelantado, debemos ejecutar elprograma para saber lo que hace.
 Los errores y las dependencias con la máquina se convierten en parte de la semántica del
lenguaje.
o Una definición formal:
 Estos métodos matemáticos son precisos, complejos y abstractos.
 El mejor método es la semántica denotacional, que describe a la semántica mediante una serie de
funciones.

6.1 Atributos, ligaduras y funciones semánticas


Un mecanismo fundamental de abstracción en un lenguaje de programación es el uso de nombres, es decir,
identificadores, para denotar entidades o constructores del lenguaje (variables, procedimientos, constantes, …).
Un paso fundamental de la descripción de la semántica de un lenguaje consiste en describir las reglas convencionales
que determinan el significado de cada uno de los nombres...