Hello
Páginas: 13 (3157 palabras)
Publicado: 5 de noviembre de 2012
TECNOLÓGICO DE ESTUDIOS SUPERIORES DE ECATEPEC
DIVISIÓN DE INGENIERÍA EN SISTEMAS COMPUTACIONALES
ACADEMIA DE INGENIERÍA APLICADA
UNIDAD V
MATERIA: PROGRAMACIÓN DE SISTEMAS
ÍNDICE
Introducción……………………………………………………..…….3
Objetivo………………………………………………………..………3
Desarrollo
Análisis semántico
5.1 Analizador semántico….……………………………...…..4
5.2 Verificaciónen tipos de expresiones….………...………5
5.3 Conversión de tipos…………………………….…...…….6
5.4 Acciones agregadas en un analizador sintáctico descendente (top-down)………………………………………………..………..……9
5.5 Pila semántica en un analizador sintáctico ascendente (bottom-up)…………………………………….………………….……11
5.6 Administración de la tabla de símbolos…………….……12
5.7 Manejo de errores semánticos…..………………….……16Conclusiones………………………………………………………….18
Bibliografía……………………………………………………………..19
INTRODUCCIÓN
OBJETIVO
DESARROLLO
ANÁLISIS SEMÁNTICO
5.1 ANALIZADOR SEMÁNTICO.
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 la información adicional necesaria para elprocesamiento 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 satisfaga las reglas requeridas por laespecificació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 cabo mediante el lenguaje natural. Esto haceque 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 o comportamiento de programas, lenguajes deprogramación, máquinas abstractas o incluso cualquier dispositivo hardware.
* Revelar posibles ambigüedades existentes implementaciones de procesadores de lenguajes o en documentos descriptivos de lenguajes de programación.
* 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ónrelacionada con su ejecución.
* Diseñar nuevos lenguajes de programación, permitiendo registrar decisiones sobre construcciones particulares del lenguaje, así como permitir descubrir posibles irregularidades u omisiones.
* Facilitar la comprensión de los lenguajes por parte del programador y como mecanismo de comunicación entre diseñador del lenguaje, implementador y programador. Laespecificación semántica de un lenguaje, como documento de referencia, aclara el comportamiento del lenguaje y sus diversas construcciones.
* Estandarizar lenguajes mediante la publicación de su semántica de un modo no ambiguo. Los programas deben poder procesarse en otra implementación de procesador del mismo lenguaje exhibiendo el mismo comportamiento.
5.2 VERIFICACIÓN DE TIPOS EN EXPRESIONESSistema de Tipos
Reglas de un lenguaje que permiten asignar tipos a las distintas partes de un programa y verificar su corrección.
* 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 implementación.
* La comprobación...
DIVISIÓN DE INGENIERÍA EN SISTEMAS COMPUTACIONALES
ACADEMIA DE INGENIERÍA APLICADA
UNIDAD V
MATERIA: PROGRAMACIÓN DE SISTEMAS
ÍNDICE
Introducción……………………………………………………..…….3
Objetivo………………………………………………………..………3
Desarrollo
Análisis semántico
5.1 Analizador semántico….……………………………...…..4
5.2 Verificaciónen tipos de expresiones….………...………5
5.3 Conversión de tipos…………………………….…...…….6
5.4 Acciones agregadas en un analizador sintáctico descendente (top-down)………………………………………………..………..……9
5.5 Pila semántica en un analizador sintáctico ascendente (bottom-up)…………………………………….………………….……11
5.6 Administración de la tabla de símbolos…………….……12
5.7 Manejo de errores semánticos…..………………….……16Conclusiones………………………………………………………….18
Bibliografía……………………………………………………………..19
INTRODUCCIÓN
OBJETIVO
DESARROLLO
ANÁLISIS SEMÁNTICO
5.1 ANALIZADOR SEMÁNTICO.
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 la información adicional necesaria para elprocesamiento 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 satisfaga las reglas requeridas por laespecificació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 cabo mediante el lenguaje natural. Esto haceque 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 o comportamiento de programas, lenguajes deprogramación, máquinas abstractas o incluso cualquier dispositivo hardware.
* Revelar posibles ambigüedades existentes implementaciones de procesadores de lenguajes o en documentos descriptivos de lenguajes de programación.
* 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ónrelacionada con su ejecución.
* Diseñar nuevos lenguajes de programación, permitiendo registrar decisiones sobre construcciones particulares del lenguaje, así como permitir descubrir posibles irregularidades u omisiones.
* Facilitar la comprensión de los lenguajes por parte del programador y como mecanismo de comunicación entre diseñador del lenguaje, implementador y programador. Laespecificación semántica de un lenguaje, como documento de referencia, aclara el comportamiento del lenguaje y sus diversas construcciones.
* Estandarizar lenguajes mediante la publicación de su semántica de un modo no ambiguo. Los programas deben poder procesarse en otra implementación de procesador del mismo lenguaje exhibiendo el mismo comportamiento.
5.2 VERIFICACIÓN DE TIPOS EN EXPRESIONESSistema de Tipos
Reglas de un lenguaje que permiten asignar tipos a las distintas partes de un programa y verificar su corrección.
* 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 implementación.
* La comprobación...
Leer documento completo
Regístrate para leer el documento completo.