Semántica denotacional
De Wikipedia, la enciclopedia libre
Basado en la teoría de funciones recursivas. Asocia a cada producción de la sintaxis del lenguaje una función. Para cada símbolo no terminal de la parte derecha de la producción, la función generada incluye una llamada a la función definida para ese no terminal.