Semántica denotacional
Keywords: Semántica denotacional, Función recursiva, Wikipedia
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.