M M E
Hay una variedad de codificaciones como la de Kleene que usa números naturales y la codificación moderna más eficiente es una sintaxis de orden superior de Mogensen. Otra posible codificación (trivial) es la función de identidad, luego el intérprete es nuevamente la función de identidad.
¿Existe alguna noción razonable de una "codificación adecuada" que prohíba las codificaciones triviales?
Esta pregunta surgió al considerar el problema de detención aplicado al cálculo lambda en lugar de a las máquinas de Turing: si se indica en términos de codificación trivial, entonces se mantiene por la razón trivial de que esencialmente no hay nada que podamos hacer con un término lambda citado.
Dicho de otra manera: ¿Cuál es el conjunto de funciones que deberíamos esperar poder calcular en términos lambda citados?
Puedo enumerar algunos como: contar la profundidad del término, tomar subterms, decir si el nodo raíz de un término es una lambda o una aplicación, ... pero dudaría en definir una "codificación adecuada" simplemente enumerando una variedad de funciones eso me vino a la mente.