Semantica

Semántica Axiomática
Está basada en el cálculo de predicado, se le da significado a las frases describiendo los axiomas lógicos que se aplican a ellas. Estas declaraciones sobre programasy pueden ser verdaderas o falsas durante varias etapas de la ejecución del programa. Si puede comprobarse que cada condición es verdadera, sin importar la entrada de datos, el programa tendrála garantía de estar correcto.
Denotaciónal
En esta semántica cada frase del lenguaje es interpretada como una denotación. Las denotaciones se describen usando alguna forma de notaciónmatemática, la que puede ser formalizada como un metalenguaje denotativo. Está basada en la teoría de funciones. Cada programa y cada procedimiento está asociado con una función recursiva.
Para cadano-terminal se define una función denotacional
La función denotacional se define por medio de ecuaciones denotacionales una por cada regla de producción.
El argumento de la ecuación es el ladoderecho de la producción.

La descripción semántica denotacional también puede servir como traducción de composición de un lenguaje de programación en el metalenguaje denotativo y se utiliza comobase para el diseño de compiladores.

Operacional
La ejecución del lenguaje se describe directamente (es decir no es necesario hacer traducciones). Consiste en describir una maquina teóricapara un lenguaje, pueden ser definidas vía transformaciones sintácticas sobre frases del lenguaje en sí mismo y hace un gran énfasis en el cómo es su funcionamiento.
Proporciona una definición dellenguaje no ambigua, el lenguaje no variara de una implementación a otra y ofrece una base para pruebas de corrección tanto de compiladores como de programas. Se preocupa más por el "cómo" seejecutan los programas en lugar de hacer énfasis en los resultados
Todas las aproximaciones conocidas a las semánticas formales usan las técnicas mencionadas, o alguna combinación de ellas.