Diferencia entre revisiones de «Semántica formal»

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:
{{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.