Definición - ¿Qué significa Semántica Denotacional?
En informática, la semántica denotacional es un enfoque para proporcionar significado matemático a sistemas y lenguajes de programación. En otras palabras, la semántica denotacional es una técnica formal para expresar la definición semántica de un lenguaje de programación.
Desarrollada en la década de 1960 en la Universidad de Oxford por el Grupo de Investigación en Programación de Christopher Strachey, la metodología comprende elegancia de notación y rigor matemático. Aunque inicialmente se diseñó como una herramienta de análisis, la semántica denotacional se ha utilizado como una herramienta para la implementación y el diseño del lenguaje.
Techinfo explica la semántica denotacional
En semántica denotacional, la idea básica es mapear cada entidad sintáctica asociada con un lenguaje de programación en alguna forma de entidad matemática, traduciendo las construcciones del lenguaje de programación en objetos matemáticos.
La definición semántica denotacional tiene cinco partes:
- Ecuaciones semánticas
- Categorías sintácticas
- Funciones semánticas
- Backus forma normal (BNF) que define la estructura de las categorías sintácticas
- Dominios de valor
Se ha desarrollado semántica denotacional para lenguajes modernos que tienen características como excepciones y concurrencia. Una de las características importantes de la semántica denotacional es que la semántica debe ser composicional, lo que significa que la denotación de una frase de programación se puede construir a partir de las denotaciones de sus subfrases.
Hay algunas ventajas distintas asociadas con la semántica denotacional. Es el mecanismo más sencillo para describir el significado de programas más pequeños en comparación con otras alternativas. La semántica denotacional es capaz de explicar el estado en los programas. Sin embargo, la semántica denotacional tiende a ser muy compleja para describir características avanzadas como declaraciones goto y recursiones.