Arboles de expresion

RESUMEN
Árboles de Expresiones
Los árboles de expresión representan el código en una estructura de datos similar a un árbol, donde cada nodo es una expresión; por ejemplo, una llamada a un métodoo una operación binaria como x < y.
El código representado en árboles de expresión se puede compilar y ejecutar. Esto permite realizar cambios dinámicos en código ejecutable, ejecutar consultas LINQen varias bases de datos y crear consultas dinámicas.
Para construir el árbol de expresiones que represente nuestra expresión matemática es necesario construir primero la misma expresión pero en lanotación polaca correspondiente y a partir de esta es que se construye el árbol. 
Acciones semánticas de un analizador sintáctico
Dependiendo del tipo de sentencias, las acciones semánticas puedenagruparse en:
Sentencias de Declaración: Consiste en completar la sección de tipos de la Tabla de Símbolos.
Sentencias “ejecutables”: Consiste en realizar comprobaciones de tipos entre los operandosimplicados.
Funciones y procedimientos: Consiste en comprobar el número, orden y tipo de los parámetros actuales en cada llamada a una función o procedimiento.
Identificación de variables: Consisteen comprobar si un identificador ha sido declarado antes de utilizarlo.
Etiquetas: Consiste en comprobar si hay etiquetas repetidas y validación.
Constantes: Consiste en comprobar que no seutilicen en la parte izquierda de una asignación.
Conversiones y equivalencias de tipo: verificación.
Sobrecarga de operadores y funciones: detectar y solventar.
Comprobaciones de tipos de expresionesVerificar que los tipos y valores asociados a los objetos de un programa se utilizan de acuerdo con la especificación del lenguaje.
Detectar conversiones implícitas de tipos para efectuarlas o insertarel código apropiado para efectuarlas.
Tipos:
Equivalencia: Determina cuándo dos objetos pueden considerarse del mismo tipo.
Compatibilidad: Determina cuándo un objeto de cierto tipo puede ser...