La Semántica y sus documentos
Enviado por chobikun • 28 de Enero de 2016 • Documentos de Investigación • 738 Palabras (3 Páginas) • 241 Visitas
Semántica y sus documentos
por Jess220792 | buenastareas.com
1.4.2 Semántica y sus documentos
La fase de análisis semántico de un procesador de lenguaje es aquélla que computa la informació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.
La semántica de un lenguaje de programación es el conjunto de reglas que especifican el significado de cualquier sentencia sintácticamente válida. Finalmente, el análisis semántico1 de un procesador de lenguaje es la fase encargada de detectar la validez semántica de las sentencias aceptadas por el analizador sintáctico.
Su ventaja es que son tan precisos, que pueden probar su validez matemática y la traducción puede ser verificada de manera de asegura el comportamiento exacto de la definición.
Los investigadores han desarrollado tres métodos principales para describir formalmente la semántica y son:
Semántica operacional
Semántica denotacional
Semántica axiomática
La semántica operacional
Este método define un lenguaje usando la descripción de sus acciones con base en las operaciones de una maquina real o hipotética.
El significado de cadaconstrucció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 cómo se lleva a cabo dicha ejecución. Los significados del programa son descritos en términos de operaciones, utilizando un lenguaje basado en reglas de inferencia lógicas en las que se describen formalmente las secuencias de ejecución de las diferentes instrucciones sobre una máquina abstracta.
La semántica operacional para un lenguaje de programación también se describe cómo un programa válido se interpreta como secuencias de pasos de cómputo. Estas secuencias entonces sea el significado del programa. En el contexto de programas funcionales, el paso final en una secuencia que termina vuelve el valor del programa. (En general puede haber muchas secuencias del cómputo y muchos vuelven los valores para un solo programa, porque el programa podría ser no determinista.)
Una manera común de definir la semántica operacional, iniciada cerca Gordon Plotkin en su papel 1981 “un acercamiento estructural a la semántica operacional”, es proporcionar a sistema de la transición del estado para la lengua del interés.
La Semántica denotacional
La representación del comportamiento de cadasentencia o frase del lenguaje se lleva a cabo mediante entidades matemáticas (denotación) que representan el efecto de haber ejecutado la sentencia o la frase asociada [Watt96]. 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.
...