Codificación de Programas

Predicados importantes para la decodificación de programas son los siguientes:

• $tipo(x)=r(x-1)$, nos da el tipo de instrucción codificada por $x$.
• $var(x) = l(x-1)$, nos da el código de la instrucción codificada por $x$.
• $cuerpo(x)=tipo-2$, nos da el cuerpo de la instrucción si es un loop.

Recordar que la recursión global es primitiva recursiva (aunque esto no se prueba en el apunte).

Configuración Instantánea

SNAP y STEP