Análisis Semánticos
Páginas: 15 (3737 palabras)
Publicado: 29 de marzo de 2012
INDICE
Introducción
3
5.1 Analizador semántico.
4
5.2 Verificación de tipos en expresiones.
5
5.3 Conversión de tipos.
7
5.3.1 Comprobación De Tipos.
7
5.4 Acciones agregadas en un analizador sintáctico descendente (top-down).
9
5.4.1 Recursivo-Descendente
9
5.5 Pila semántica en un analizador sintáctico ascendente (bottom-up).
10
5.6 Administración de la tablade símbolos.
11
5.6.1 Consideraciones sobre la Tabla de Símbolos.
12
5.7 Manejo de errores semánticos.
15
Conclusión
16
INTRODUCCIÓN Inicio
Todos los lenguajes de programación tienen un conjunto de reglas que describen la estructura sintáctica de los programas correctos. La sintaxis de las construcciones de los lenguajes de programación pueden describirse mediantegramáticas sin contexto (context-free grammars), también llamada notación BNF (Backus-Naur Form). Las gramáticas ofrecen significativas ventajas tanto para los diseñadores del lenguaje como para los escritores de compiladores:
Una gramática suministra una forma precisa y fácil de entender de la especificación sintáctica de un lenguaje de programación.
• Para ciertas clases de gramáticas, se puedenconstruir analizadores sintácticos con herramientas automáticas. Además, la construcción del analizador puede revelar ambigüedades gramaticales no deseadas.
• Una gramática adecuadamente diseñada aporta al lenguaje de programación una estructura adecuada tanto para su traducción a código objeto, como para la detección de errores.
• Como los lenguajes tienen una vida larga y pueden evolucionarañadiéndoseles nuevas construcciones, estas pueden ser añadidas más fácilmente cuando la implementación existente está basada en una descripción gramatical formal.
Agrupa las palabras del programa fuente en “frases” anidadas jerárquicamente con un significado común. Normalmente utiliza unas reglas sintácticas para describir la gramática del lenguaje fuente.
Se describen habitualmente mediantegramáticas sin contexto, también llamadas notación BNF (Backus-Naur Form). Para algunos tipos de gramáticas es posible construir el analizador con herramientas automáticas.
5.1 ANALIZADOR SEMÁNTICO Inicio
La semántica corresponde al significado asociado a las estructuras formales sintaxis) del lenguaje.
La fase de análisis semántico de un procesador de lenguaje es aquélla que computa lainformación adicional necesaria para el procesamiento de un lenguaje, una vez que la estructura sintáctica de un programa haya sido obtenida. Es por tanto la fase posterior a la de análisis sintáctico y la última dentro del proceso de síntesis de un lenguaje de programación. El objetivo principal del analizador semántico de un procesador de lenguaje es asegurarse de que el programa analizado satisfagalas reglas requeridas por la especificación del lenguaje, para garantizar su correcta ejecución.
El tipo y dimensión de análisis semántico requerido varía enormemente de un lenguaje a otro. Existen dos formas de describir la semántica de un lenguaje de programación: mediante especificación informal o natural y formal.
La descripción informal de un lenguaje de programación es llevada a cabomediante el lenguaje natural. Esto hace que la especificación sea inteligible (en principio) para cualquier persona. La experiencia nos dice que es una tarea muy compleja, si no imposible, el describir todas las características de un lenguaje de programación de un modo preciso.
La descripción formal de la semántica de lenguajes de programación es la descripción rigurosa del significado ocomportamiento de programas, lenguajes de programación, máquinas abstractas o incluso cualquier dispositivo hardware.
• Ser utilizados como base para la implementación de procesadores de lenguaje.
• Verificar propiedades de programas en relación con pruebas de corrección o información relacionada con su ejecución.
•Diseñar nuevos lenguajes de programación, permitiendo registrar decisiones...
Introducción
3
5.1 Analizador semántico.
4
5.2 Verificación de tipos en expresiones.
5
5.3 Conversión de tipos.
7
5.3.1 Comprobación De Tipos.
7
5.4 Acciones agregadas en un analizador sintáctico descendente (top-down).
9
5.4.1 Recursivo-Descendente
9
5.5 Pila semántica en un analizador sintáctico ascendente (bottom-up).
10
5.6 Administración de la tablade símbolos.
11
5.6.1 Consideraciones sobre la Tabla de Símbolos.
12
5.7 Manejo de errores semánticos.
15
Conclusión
16
INTRODUCCIÓN Inicio
Todos los lenguajes de programación tienen un conjunto de reglas que describen la estructura sintáctica de los programas correctos. La sintaxis de las construcciones de los lenguajes de programación pueden describirse mediantegramáticas sin contexto (context-free grammars), también llamada notación BNF (Backus-Naur Form). Las gramáticas ofrecen significativas ventajas tanto para los diseñadores del lenguaje como para los escritores de compiladores:
Una gramática suministra una forma precisa y fácil de entender de la especificación sintáctica de un lenguaje de programación.
• Para ciertas clases de gramáticas, se puedenconstruir analizadores sintácticos con herramientas automáticas. Además, la construcción del analizador puede revelar ambigüedades gramaticales no deseadas.
• Una gramática adecuadamente diseñada aporta al lenguaje de programación una estructura adecuada tanto para su traducción a código objeto, como para la detección de errores.
• Como los lenguajes tienen una vida larga y pueden evolucionarañadiéndoseles nuevas construcciones, estas pueden ser añadidas más fácilmente cuando la implementación existente está basada en una descripción gramatical formal.
Agrupa las palabras del programa fuente en “frases” anidadas jerárquicamente con un significado común. Normalmente utiliza unas reglas sintácticas para describir la gramática del lenguaje fuente.
Se describen habitualmente mediantegramáticas sin contexto, también llamadas notación BNF (Backus-Naur Form). Para algunos tipos de gramáticas es posible construir el analizador con herramientas automáticas.
5.1 ANALIZADOR SEMÁNTICO Inicio
La semántica corresponde al significado asociado a las estructuras formales sintaxis) del lenguaje.
La fase de análisis semántico de un procesador de lenguaje es aquélla que computa lainformación adicional necesaria para el procesamiento de un lenguaje, una vez que la estructura sintáctica de un programa haya sido obtenida. Es por tanto la fase posterior a la de análisis sintáctico y la última dentro del proceso de síntesis de un lenguaje de programación. El objetivo principal del analizador semántico de un procesador de lenguaje es asegurarse de que el programa analizado satisfagalas reglas requeridas por la especificación del lenguaje, para garantizar su correcta ejecución.
El tipo y dimensión de análisis semántico requerido varía enormemente de un lenguaje a otro. Existen dos formas de describir la semántica de un lenguaje de programación: mediante especificación informal o natural y formal.
La descripción informal de un lenguaje de programación es llevada a cabomediante el lenguaje natural. Esto hace que la especificación sea inteligible (en principio) para cualquier persona. La experiencia nos dice que es una tarea muy compleja, si no imposible, el describir todas las características de un lenguaje de programación de un modo preciso.
La descripción formal de la semántica de lenguajes de programación es la descripción rigurosa del significado ocomportamiento de programas, lenguajes de programación, máquinas abstractas o incluso cualquier dispositivo hardware.
• Ser utilizados como base para la implementación de procesadores de lenguaje.
• Verificar propiedades de programas en relación con pruebas de corrección o información relacionada con su ejecución.
•Diseñar nuevos lenguajes de programación, permitiendo registrar decisiones...
Leer documento completo
Regístrate para leer el documento completo.