Carrera:

Ing. Sistemas Computacionales

Asignatura:
Lenguajes Autómatas II

Unidad 1:
Análisis Semántico

Tema:
Cuadro Comparativo de
Analizador Sintáctico y Analizador Semántico

Alumna:
Prado Godoy Lizeth

Profesor:
I.S.C. Carlos Sánchez Pérez

Fecha:
09/09/2020
 CUADRO COMPARATIVO

ANALIZADOR SINTÁCTICO ANALIZADOR SEMÁNTICO

Es un programa informático que
analiza una cadena de símbolos de
DEFINICIÓN
acuerdo a las reglas de una
gramática formal.
El analizador sintáctico tiene como
objetivo encontrar las estructuras
presentes en su entrada. Estas
estructuras se pueden representar
OBJETIVO mediante el árbol de análisis
sintáctico, que explica cómo se
puede derivar la cadena de entrada
en la gramática que especifica el
lenguaje.
Analizador Sintáctico Descendente:
(Top – Down – Parser).
CLASIFICACIONES Analizador Sintáctico Ascendente:
MAS COMUNES (Bottom – Up – Parser)
Comprobar si el programa
sintácticamente correcto.
Generar las estructuras de datos
FUNCIONES (arboles sintácticos u otras
estructuras) que representan el
programa y sirven para el analizador
semántico y el generador de código.
La fase de análisis semántico de
un procesador de lenguaje es
aquella que computa la
información adicional necesaria
para el procesamiento de un
lenguaje .
El objetivo principal del analizador
semántico de un procesador de
lenguaje es asegurarse de que el
programa analizado satisfaga las
reglas requeridas por la
especificación del lenguaje, para
garantizar su correcta ejecución
Existen clasificaciones de en
función de los algoritmos que las
procesan (LL, SLL, LL(K), LR, SLR
o LALR) también existen atributos
del orden de evaluación (L-
atribuidas, S-atribuidas y bien
definidas).
El analizador semántico detecta la
es
validez semántica de las
sentencias aceptadas por el
analizador sintáctico.
El analizador semántico suele
trabajar simultáneamente al
analizador sintáctico y en estrecha
cooperación.

DESCRIPCIÓN El analizador semántico utiliza el La descripción informal de un

DEL LENGUAJE árbol sintáctico y la información en la lenguaje de programación es
tabla de símbolos para comprobar la llevada a cabo mediante el
consistencia semántica del programa lenguaje natural. Esto hace que la
fuente con la definición del lenguaje. especificación sea inteligible (en
principio para cualquier persona).
También recopila información sobre
el tipo y la guarda, ya sea en el árbol La descripción formal de la
sintáctico o en la tabla de símbolos, semántica de lenguajes de
para usarla más tarde durante la programación es la descripción
 generación de código intermedio. rigurosa del significado o
comportamiento de programas ,
La especificación del lenguaje puede lenguajes de programación,
permitir ciertas conversiones de tipo maquinas abstractas o incluso
conocidas como coerciones. cualquier dispositivo de hardware.
Esta iteración se esquematiza como Análisis Semántico
sigue: Existen 2 tipos generales de Descendente ll1: La siguiente
analizadores sintácticos para fase en la construcción del
gramáticas: analizador es la fase de análisis
A) Análisis Sintáctico sintáctico.
Descendente. Construye árboles de esta toma como entrada el flujo
análisis sintáctico desde arriba (raíz) determinales y construye como
TIPOS DE hacia abajo (hojas). El análisis se salida el árbol de análisis sintáctico
ANALIZADORES realiza de lo general a lo particular. abstracto.

B) Análisis Sintáctico Ascendente. Analizador Ascendente Lr Larl:

Construyen árboles de análisis intenta construir un árbol de
sintáctico comenzando en las hojas y análisis sintáctico, empezando
suben hacia la raíz. El análisis se desde la raíz y descendiendo
realiza de lo particular a lo general. hacia las hojas.
Los errores en la programación
Hemos mencionado algunos de los
pueden ser de los siguientes tipos:
errores que la semántica
 Léxicos, producidos al escribir analizador semántico se espera
mal un identificador, una para reconocer:
palabra clave o un
 No coinciden los tipos
 operador.
 Variable no declarada
 Sintácticos, por una expresión
TIPOS DE  Identificador reservado uso
aritmética o paréntesis no
ERRORES indebido.
equilibrados.
 Declaración de variables
 Semánticos, como un
múltiples en un ámbito.
operador aplicado a un
 Acceder a una variable
operando incompatible.
fuera de alcance.
 Lógicos, puede ser una
 Parámetro formal y real no
llamada infinitamente
coincide.
recursiva.
 Referencias
Aguilera Sierra, M., & Gálvez Rojas, S. (s.f.). www.lcc.uma.es. Obtenido de Análisis
Sintáctico.: http://www.lcc.uma.es/~galvez/ftp/tci/tictema3.pdf
Arteaga Caballero , J., Encarnación Hernández , E., Gómez Ramírez , G., González
Nicolás , G., & Rodríguez García , S. (Noviembre de 2019). Blogspot.
Obtenido de UNIDAD VI.-Análisis semántico.:
http://cursocompiladoresuaeh.blogspot.com/2010/11/unidad-vi-analisis-
semantico.html
Brusil, C. (08 de Junio de 2016). Sildeshare. Obtenido de Análisis Sintáctico:
https://es.slideshare.net/cabrusil/analisis-sintactico-62871033
Medina Pacheco, S. (05 de Septiembre de 2017). Prezi. Obtenido de Análisis: Léxico,
Sintactico y Semántico: https://prezi.com/6xmat6mory1t/analisis-lexico-
sintactico-y-semantico/
Ortín Soler , F., Cueva Lovelle , J., Luengo Díez , M., Juan Fuente , A., Labra Gayo ,
J. E., & Izquierdo Castanedo , R. (Marzo de 2004). Universidad de Oviedo -
España . Obtenido de ANÁLISIS SEMÁNTICO EN PROCESADORES DE
LENGUAJE: http://www.reflection.uniovi.es/ortin/publications/semantico.pdf
sites.google. (s.f.). sites.google. Obtenido de 2.4. Análisis semántico:
https://sites.google.com/site/teoriadelenguajesycompiladores/procesadores-
de-lenguaje/analisis-semantico
UNIVERSIDAT JAUME-I. (s.f.). UNIVERSIDAT JAUME-I. Obtenido de Analizador sint
´actico:
http://repositori.uji.es/xmlui/bitstream/handle/10234/5893/sintactico.apun.pdf