Consulta en el cálculo lambda

Question

Continuando con los ejercicios en el libro cálculo lambda , la pregunta es la siguiente :

  

Supongamos que un símbolo de la ?-cálculo   alfabeto es siempre de 0,5 cm de ancho. Escribir   abajo de un ? plazo con longitud menor que 20   cm que tiene una forma normal con longitud en   menos (10 ^ 10) ^ 10 año luz. La velocidad   de la luz es c = 3 * (10 ^ 10) cm / seg.

No tengo absolutamente ninguna idea de lo que hay que hacer en esta pregunta. ¿Puede alguien por favor, dame un poco de punteros para ayudar a entender la pregunta y lo que hay que hacer aquí? Por favor, no resolver o mencionar la respuesta final.

En espera de una respuesta.

Saludos, darkie

Answer 1

Sin saber nada sobre el cálculo lambda, entiendo la pregunta de la siguiente manera:

Tienes que escribir un ? plazo en menos de 20 cm, donde un símbolo es 0,5 cm, lo que significa que se les permite menos de 40 símbolos. Este ? plazo debe expandir a una forma normal con la longitud de al menos (10 ^ 10) ^ 10 = 10 ^ 100 años luz, lo que resulta en (10 ^ 100) * 2 * 3 * (10 ^ 10) * 24 * 60 * 60 símbolos. Básicamente una función recursiva muy largo.

Answer 2

Aquí hay otra pista: en el cálculo lambda, la forma típica para representar un entero es por su codificación Iglesia, que es un unario representación. Así que si convierte las distancias en números, una cosa que haría el truco sería una pequeña función que, cuando se aplica a un número pequeño, termina y produce un número muy grande.