Analisis Semantico

Lenguajes & Autómatas 2
Ensayo Unidad 1

1

Índice
Contenido
Introducción .............................................................................................................................................................3
Arboles de Expresión..............................................................................................................................................4
Acciones semánticas en un analizador sintáctico ............................................................................................5
Comprobación de Tipos de Expresiones ............................................................................................................6
Pila Semántica en un AnalizadorSintáctica.......................................................................................................7
Esquema de Traducción.........................................................................................................................................8
Generación de Tabla de Símbolos y Direcciones .............................................................................................8
Manejo de Errores Semánticos......................................................................................................................... 10
Construcción de Analizador Sintáctico ............................................................................................................ 11Conclusiones.......................................................................................................................................................... 18
Bibliografía ............................................................................................................................................................. 19

2

Introducción
En el siguiente ensayo detalla los puntos más importantes de la Unidad 1,
resaltando las ideas más claras de cada tema y subtema, para que sea comprendido de
una mejor formapor el alumno.
Se tocaran temas como Arboles de Expresión, Análisis Semántico así mismo dentro de este
se analizara la sintaxis, y la ejecución de esta acción misma.
Denotaremos los compiladores donde se comprobara las expresiones utilizadas, pero lo
más importante detectara los errores de programación. También la creación de tablas de
símbolo.
Así mismo de una forma variada conoceremos cadatema tratado encaminado a los
compiladores.

3

Arboles de Expresión
Nos dice que un árbol es un tipo de árbol que nos permite representar expresiones
matemáticas. En cada uno de sus nodos contiene las operaciones a realizar como los
vimos en ejemplos en clase. En cada nodo hoja se encontraran los operandos.
Dado que la mayoría de operadores matemáticos son unarios o binarios, losarboles de
expresión más comunes son los arboles de expresión binarios.
Si la operación de un nodo de un árbol de expresión binario tiene dos operandos, ese
nodo por lógica tendrá 2 hijos. Si es unario, tendrá un único hijo a la derecha.
Recorridos de los arboles: son las distintas maneras de leer un árbol y hay 3.





Recorrido en Inorden: -8+3*X-7
Recorrido en Preorden: +-8*3-X7Recorrido en Postorden: 8-3X7-*+

4

Acciones semánticas en un analizador sintáctico
Análisis Semántico
Nos habla más que nada de que lo que se quiera hacer deberá tener un sentido
para poder comprender mejor. Este dota un significado coherente a lo que hemos hecho
con el análisis sintáctico.
El chequeo semántico se encarga de que los tipos que intervienen en las expresiones sean
compatibleso que los parámetros reales de una función sean coherentes con los
parámetros formales.
Atributos y acciones semánticas
A continuación se desarrolla un ejemplo para tener una visión global de este tema.
Supongamos que se desea construir una pequeña calculadora que realiza las operaciones
+ y * . La gramática será la siguiente:
E÷E+T
|T
T÷T*F
|F
F÷(E)
| num
Y queremos calcular: 33 +...