Consulta en el cálculo lambda
-
28-09-2019 - |
Pregunta
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
Solución
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.
Otros consejos
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.