Lenguajes y autómatas 2

 

 

  La labor de comprobación de tipos consiste en conferir a las construcciones sintácticas del lenguaje la semántica de tipificación y en realizar todo tipo de comprobaciones de dicha índole. Por su naturaleza, sin embargo, ésta se encuentra repartida entre la fase de análisis semántico y la generación de código intermedio. Comprobaciones estáticas Las comprobaciones estáticas recogen el compendio de todas aquellas tareas de  carácter semántico que, por su naturaleza, pueden ser realizadas directamente  durante la fase de compilación mediante el uso de artefactos y mecanismos propios  de dicha fase. Este tipo de comprobaciones son beneficiosas puesto que confieren  seguridad a la ejecución del programa. Características - Diferente de la dinámica en runtime. - Ejemplo: comprobación de tipos, flujo de control, unicidad. Comprobaciones dinámicas Las comprobaciones dinámicas son aquellas que no se realizan durante la fase de  compilación y se delegan al momento ...

  8-6*7/4+4*3 3+4/6*6+5/2+1 (6+4/5*3)+(8+5-6*3) (3-1*7+4)+(9*8-5+3)

 

  Los árboles de expresiones son estructuras de datos que definen código.   Se basan en las mismas estructuras que usa un compilador para analizar el código y generar el resultado compilado . Los árboles binarios se utilizan para almacenar expresiones aritméticas en memoria, esencialmente en compiladores de lenguajes de programación. Una expresión es una secuencia de tokens (componentes de léxicos que siguen unas reglas establecidas). Un token puede ser un operando o bien un operador. Los paréntesis no se almacenan en el árbol pero están implicados en la forma del árbol, como puede apreciarse en la Figura   Un árbol de expresión es un árbol binario con las siguientes propiedades:  1. Cada hoja es un operando.  2. Los nodos raíz y los nodos internos son operadores.  3. Los subárboles son subexpresiones cuyo nodo raíz es un operador.  Los árboles binarios se utilizan para representar expresiones en memoria, esencialmente en compiladores de lenguajes de p...