Documente Academic
Documente Profesional
Documente Cultură
Anlisis semntico
Se trata de determinar el tipo de los resultados intermedios, comprobar
que los argumentos que tiene un operador pertenecen al conjunto de
los operadores posibles, y si son compatibles entre s, etc. En definitiva,
comprobar que el significado de lo que se va leyendo es vlido.
Sistemas de tipo:
Sistema de tipos: conjunto de reglas que determinan el criterio
para asignar expresiones de tipo a las diferentes partes del cdigo
fuente.
Nombres de tipo.
Funciones a=suma();
COMPROBACIONES SEMNTICAS
Comprobaciones ESTTICAS.
Comprobaciones DINMICAS.
Comprobaciones SEMNTICAS
De TIPO.
De FLUJO de CONTROL.
Analizador sintctico
Un analizador sintctico (o parser) es una de las partes de un compilador que
transforma su entrada en un rbol de derivacin.
Elanlisis sintctico convierte eltexto de entrada en otras estructuras
(comnmente rboles), que son ms tiles para el posterior anlisis y capturan
la jerarqua implcita de la entrada. Un analizador lxico crea tokens de una
secuencia de caracteres de entrada y son estos tokens los que son procesados
por el analizador sintctico para construir la estructura de datos, por ejemplo
un rbol de anlisis o rboles de sintaxis abstracta.
Sistema de tipos
Sistema de tipos: reglas de un lenguaje que permiten asignar tipos a las
distintas partes de un programa y verificar su correccin.
Formado por las definiciones y reglas que permiten comprobar el dominio de
un identificador, y en qu contextos puede ser usado.
Cada lenguaje tiene un sistema de tipos propio, aunque puede variar de una a
otra implementacin.
La comprobacin de tipos es parte del anlisis semntico.
Funciones principales:
Inferencia de tipos: calcular y mantener la informacin sobre los tipos de
datos.
Verificacin de tipo: asegurar que las partes de un programa tienen sentido
segn las reglas de tipo del lenguaje.
Expresiones de tipo
Un lenguaje de programacin contiene un conjunto de tipos predefinido
denominados tipos simples.
Algunos lenguajes permiten definir nuevos tipos simples: enumerado, subrango.
Equivalencia de tipos
Una caracterstica importante del sistema de tipos de un lenguaje de
programacin es el conjunto de reglas que permiten decidir cundo dos
expresiones de tipo representan al mismo tipo.
En muchos casos estas reglas no se definen como parte de las
especificaciones del lenguaje.
1. Diferentes interpretaciones de los creadores de compiladores.