Unidad 5.- análisis semántico
Páginas: 4 (912 palabras)
Publicado: 17 de mayo de 2011
5.1 Analizador semántico
Se refiere a los aspectos del significado, sentido o interpretación del significado de un determinado elemento, símbolo, palabra, expresión o representación formal.Análisis semántico.
Se trata de determinar el tipo de los resultados intermedios, comprobar que los argumentos que tiene un operador pertenecen al conjunto de los operadores posibles, y si son compatiblesentre sí, etc. En definitiva, comprobará que el
significado de lo que se va leyendo es válido.
El análisis semántico se realiza posteriormente al sintáctico y mucho más difícil de formalizarque éste. La salida “teórica” de la fase de análisis semántico sería un árbol semántico.
5.2 Verificación de tipos en expresiones
La verificación de los tipos de datos se hace asignando el valorde tipo de cada una de los componentes léxicos. Estos valores se comparan para verificar que los tipos de datos coincidan y sean congruentes, de lo contrario no se pueden realizar los cálculos.
5.3Conversión de tipos
• Hay situaciones en las cuales se tiene un valor de un tipo dado y se desea almacenar ese valor en una variable de un tipo diferente. En algunos tipos es posible almacenarsimplemente el valor sin una conversión de tipos; lo que se denomina conversión automática.
Esto sólo es posible en algún lenguaje de programación, si el compilador reconoce que la variable destino tienela suficiente precisión para contener el valor origen. En Java se puede almacenar un valor byte en una variable int, dado que este tipo de datos es de mayor precisión que el primero.
A esto se lellama ensanchamiento o promoción, dado que el tipo más pequeño se ensancha o promociona al tipo compatible más grande. Si por el contrario, se desea asignar un valor de variable int a una variablebyte se necesita realizar una conversión de tipos explícita. En algunos casos se puede realizar la conversión pero se pueden perder datos, como por ejemplo al pasar un valor flotante a un entero. A...
Se refiere a los aspectos del significado, sentido o interpretación del significado de un determinado elemento, símbolo, palabra, expresión o representación formal.Análisis semántico.
Se trata de determinar el tipo de los resultados intermedios, comprobar que los argumentos que tiene un operador pertenecen al conjunto de los operadores posibles, y si son compatiblesentre sí, etc. En definitiva, comprobará que el
significado de lo que se va leyendo es válido.
El análisis semántico se realiza posteriormente al sintáctico y mucho más difícil de formalizarque éste. La salida “teórica” de la fase de análisis semántico sería un árbol semántico.
5.2 Verificación de tipos en expresiones
La verificación de los tipos de datos se hace asignando el valorde tipo de cada una de los componentes léxicos. Estos valores se comparan para verificar que los tipos de datos coincidan y sean congruentes, de lo contrario no se pueden realizar los cálculos.
5.3Conversión de tipos
• Hay situaciones en las cuales se tiene un valor de un tipo dado y se desea almacenar ese valor en una variable de un tipo diferente. En algunos tipos es posible almacenarsimplemente el valor sin una conversión de tipos; lo que se denomina conversión automática.
Esto sólo es posible en algún lenguaje de programación, si el compilador reconoce que la variable destino tienela suficiente precisión para contener el valor origen. En Java se puede almacenar un valor byte en una variable int, dado que este tipo de datos es de mayor precisión que el primero.
A esto se lellama ensanchamiento o promoción, dado que el tipo más pequeño se ensancha o promociona al tipo compatible más grande. Si por el contrario, se desea asignar un valor de variable int a una variablebyte se necesita realizar una conversión de tipos explícita. En algunos casos se puede realizar la conversión pero se pueden perder datos, como por ejemplo al pasar un valor flotante a un entero. A...
Leer documento completo
Regístrate para leer el documento completo.