analisis semantico





Introducción
En el presente trabajo estaremos hablando sobre el análisis semántico, se dará una breve explicación de lo que es, así mismo podremos mencionar los tipos de semánticas que encontramos en este lenguaje,

El análisis semántico de un procesador de lenguaje es la fase encargada de detectar la validez semántica de las sentencias aceptadas por el analizador sintáctico.

Elanálisis semántico obtiene su nombre por requerir información relativa al significado del lenguaje, que está fuera del alcance de la representatividad de las gramáticas libres de contexto y los principales algoritmos existentes de análisis; es por ello por lo que se dice que captura la parte de la fase de análisis considerada fuera del ámbito de la sintaxis.Desarrollo

Especificación Formal de Semántica

Si bien la especificación formal de la sintaxis de un lenguaje se suele llevar a cabo mediante la descripción estándar de su gramática en notación BNF (Backus-Naur Form), en el caso de la especificación semánticala situación no está tan clara; no hay ningún método estándar globalmente extendido.

El comportamiento de las distintas construcciones de un lenguaje de programación, puede ser descrito desde distintos puntos de vista. Una clasificación de los principales Análisis Semántico en Procesadores de Lenguaje métodos formales de descripción semántica, así como una descripción muy breve de las ideas enlas que se fundamentan, es:

Semántica operacional: El significado de cada construcción sintáctica es especificado mediante la computación que se lleva a cabo en su ejecución sobre una máquina abstracta. Lo que realmente se especifica es como se lleva a cabo dicha ejecución. Los significados del programa son descritos en términos de operaciones, utilizando un lenguaje basado en reglas deinferencia lógicas en las que se describen formalmente las secuencias de ejecución de las diferentes instrucciones sobre una máquina abstracta. Es muy cercano a la implementación y se puede emplear para construir prototipos de procesadores de lenguajes como la descripción de PL/I en VDL.

Semántica denotacional: La representación del comportamiento de cada sentencia o frase del lenguaje se lleva a cabomediante entidades matemáticas (denotación) que representan el efecto de haber ejecutado la sentencia o la frase asociada. Por tanto, se hace más hincapié en el efecto de la computación que en cómo se lleva a cabo. Se utiliza mayoritariamente en diseño de lenguajes de programación y se ha empleado para especificar la semántica completa de lenguajes como Ada, Algol-60 y Pascal.

Semánticaaxiomática: Especifica las propiedades del efecto de ejecutar las sentencias sintácticamente correctas, expresadas mediante asertos, desoyendo así los aspectos de su ejecución. El sistema permite estudiar formalmente las propiedades del lenguaje y se requiere la utilización de sistemas consistentes y completos. Se utiliza mayoritariamente en verificación formal de corrección de programas.

Semánticaalgebraica: Se basa en la especificación de tipos de datos abstractos mediante una colección de operaciones (incluyendo alguna constante). Puesto que un conjunto de valores al que se le añaden una colección de operaciones constituye un álgebra, este método de descripción formal de semántica se denomina semántica algebraica. Este método está pues enfocado a especificar la semántica de los tipos y susoperaciones. La semántica algebraica constituye también la base de la semántica de acciones, empleada para especificar la semántica de lenguajes de programación al completo

Semántica de acciones: Fue elaborado por Peter Mosses para describir la semántica de lenguajes de un modo más inteligible. Las especificaciones semánticas de lenguajes siempre han sido consideradas como oscuras,...