LENGUAJES Y AUTMATAS

EQUIPO # 1

INSTITUTO
UNIDAD 1:
- OLIVARES MAR FRANCISCO
ANLISIS SEMNTICO
II
TECNOLOGICO
SUPERIOR DE
PANUCO

1
2
CONTENIDO
INTRODUCCIN................................................................................................................ 3
1. ANALISIS SEMNTICO................................................................................................ 4
CONCLUSIN.................................................................................................................. 20
BIBLIOGRAFA................................................................................................................. 21

INTRODUCCIN

En el desarrollo de la primera unidad correspondiente a la asignatura de Lenguajes y

autmatas se explicar el proceso del anlisis semntico, es decir, conceptualmente como
se realiza utilizando herramientas de representacin tales como rboles para brindar un
mejor entendimiento.

Se dar a conocer los conceptos involucrados con el anlisis semntico, utilizando arboles
de expresiones que ejemplifican algunos casos explicados en cada uno de los puntos que

3
lo requieren; para lograr verificar que los procesos involucrados en los procesos internos
en el anlisis se realiza comprobaciones de tipos en expresiones.

Otro de los procesos dentro del anlisis se encuentra el esquema de traduccin que ser
explicado de manera clara para entender dicho proceso; como es de imaginarse para que
el anlisis semntico logre concretarse correctamente se verifica que los smbolos en las
expresiones dadas pertenezcan a la tabla de smbolos se un lenguaje en especfico

En el ltimo punto se dar a conocer nuestras conclusiones como equipo referente al

desarrollo de esta unidad que a continuacin se presentar.

4
1. ANLISIS 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.

5
 CONCLUSIN

Nuestras conclusiones acerca del desarrollo de la unidad 1 es que gracias a dicha

actividad logramos capturar y entender nuevos conceptos y definiciones que al inicio del
curso de esta asignatura no contbamos.

En el desarrollo de esta unidad se describieron los arboles de expresiones as como cada

una de sus caractersticas que nos brindan conocimiento para poder entender el
procedimiento del anlisis en una representacin grfica mediante rboles.

Para el proceso del anlisis conlleva otros procesos ms relacionados tales como la
generacin de la tabla de smbolos, la comprobacin de tipos en expresiones, un esquema
de traduccin, entre otros.

La mayora de los procesos deben de esperar a que finalice uno para poder iniciar, adems
de que algunos otros procesos en el anlisis se repiten hasta validar las expresiones
correctas.

6
 BIBLIOGRAFA

Arbones, M., & E.A. (1992). Tecnicas graficas en productica. Barcelona, Espaa:
MARCOMBO.

Cataln, J. R. (2010). Compiladores. Teora e implementacin. Madrid, Espaa:

Alfaomega.