Definiciones básicas

Estuve escribiendo definiciones básicas a partir de las cuales formalizar algunas de las cosas que estuvimos haciendo.

Por ahora tengo:

• Sintaxis básica del lenguaje Pest:
• Expresiones.
• Términos.
• Predicados.
• Parámetros.
• Sentencias (sin incluir map, find, for).
  
• Procedimientos.
• Programas.
  

• Concepto de expresión válida, término válido, ..., programa válido.

• Semántica operacional para un programa. Esto requiere definir semántica para los predicados, los términos, las expresiones.

Con todo ya suman más o menos 11 páginas de definiciones.

Faltan explicaciones que complementen las definiciones formales. Pero hasta que no esté seguro de qué cosas quedan y qué cosas cambian no tiene sentido invertir tiempo en eso.