Diferencia entre revisiones de «Semántica formal»

De Wikipedia, la enciclopedia libre
Contenido eliminado Contenido añadido
Locovich (discusión · contribs.)
m Revertidos los cambios de Locovich (disc.) a la última edición de BodhisattvaBot
Línea 1: Línea 1:
{{Artículo infraesbozo|2|septiembre}}
Basado en la teoría de [[función recursiva|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.
Basado en la teoría de [[función recursiva|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.



Revisión del 22:02 6 oct 2009

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.