Professional Documents
Culture Documents
UNIDAD 1:
ANALISIS SEMANTICO
Integrantes:
- Escobar Castillo Diana Carmina.
- De Len Gonzlez Cristal Idtzayany.
- Garca Guzmn Suriel Tonaiuh.
-
CONTENIDO
INTRODUCCIN ....................................................................................................................................................3
1.
1.1.1
1.1.2
1.1.3
1.1.4
1.1.5
1.2
1.3
1.4
1.4.1
1.5
1.6
1.6.1
1.7
CONCLUSIN ......................................................................................................................................................22
BIBLIOGRAFA .....................................................................................................................................................23
INTRODUCCIN
1. ANALISIS SEMNTICO
La fase de anlisis semntico revisa el programa fuente para tratar de
encontrar errores semnticos y rene la informacin sobre los tipos para la
fase posterior de generacin de cdigo. En ella se utiliza la estructura
jerrquica determinada por la fase de anlisis sintctico para identificar los
operadores y operandos de expresiones y proposiciones.
Un componente importante del anlisis semntico es la verificacin de tipos.
Aqu, el compilador verifica si cada operador tiene operandos permitidos
por la especificacin del lenguaje fuente. Por ejemplo, las definiciones de
muchos lenguajes de programacin requieren que el compilador indique un
error cada vez que se use un nmero real como ndice de una matriz. Sin
embargo, la especificacin del lenguaje puede permitir ciertas coerciones a
los operandos, por ejemplo, cuando un operador aritmtico binario se a
plica a un nmero entero y a un nmero real. En este caso, el compilador
puede necesitar convertir el nmero entero real.
el
esquema
premisas-conclusin,
que
corresponde
al
NIVELES DE UN
ARBOL
NIVEL 0:
A = RAIZ
NIVEL 1:
{B}, {C, D, F, G} = 2
subrboles.
NIVEL 2:
{D}, {E}, {F, G}= 3
subrboles
NIVEL 3:
{G}= 1 subrbol.
(a)
(b)
Figura 4. a) Subrbol izquierdo, b) Subrbol derecho.
10
11
tg
12
13
de
operadores:
la
sobrecarga
se
resuelve
operaciones
de
programacin
estas
estructuras
pueden
14
Pila:
Una coleccin de datos a los cuales se les puede acceder mediante un
extremo, que se conoce generalmente como tope
Las pilas tienen 2 operaciones bsicas:
Push (para insertar un elemento).
Pop (para extraer un elemento).
Su caracterstica principal es que al extraer se obtiene siempre un ltimo
elemento que acaba de insertarse por esta razn por eso se conocen
como estructuras de datos lifo gracias a la pila es posible el uso de la
recursividad la variable a la que llama al mismo procedimiento en el que
esta, habr que guardarla as como el reto de las variables de la nueva
llamada para huella de la recursividad.
15
16
17
18
19
20
21
CONCLUSIN
22
BIBLIOGRAFA
Arbones, M., & E.A. (1992). Tecnicas graficas en productica. Barcelona, Espaa: MARCOMBO.
Cataln, J. R. (2010). Compiladores. Teora e implementacin. Madrid, Espaa: Alfaomega.
Malisani Arbones, E. A. (1992). Tecnicas graficas en productica. Barcelona, Espaa: MARCOMBO.
Snchez Dueas, G., & Valverde Andreu, J. A. (1990). Compiladores e interpretes. Un enfoque pragmatico.
Madrid: Daz de Santos.
V. Aho, A., Sethi, R., & D. Ullman, J. (1990). Compiladores. Principios, tcnicas y herramientas. Massachusetts,
EUA: Addison Wesley Longman.
23