Segunda prueba 2016 - Ejercicio 5

Segunda prueba 2016 - Ejercicio 5

de Ian Ignacy Arazny Casanovas -
Número de respuestas: 1

Buenas tardes, tengo la duda respecto a cómo funciona la evaluación del caso del ejercicio 5 de la segunda prueba de 2016, en particular,

para eqzz t3 t1, donde se debe evaluar zig t3 y zag t1, 

- Para zig t3 termina sin problemas con S ( S Z ) 

- Para zag t1 = S ( zig Node t1 Empty) = S ( S (zag t1)), nuevamente se llama a zag t1. ¿Cuál es el argumento para que esta ejecución termine? ¿Está relacionado a la evaluación perezosa de zag t1 ? 


Saludos,

Ian.

En respuesta a Ian Ignacy Arazny Casanovas

Re: Segunda prueba 2016 - Ejercicio 5

de Luis Sierra -
hola ian,

como has visto, la evaluación de zag t1 no termina. pero aún así, y justamente usando la evaluación perezosa, sí termina la evaluación de zig t3 == zag t1.

fíjate si puedes demostrar que Z == S Z evalúa False, Z == S S Z. luego, define
u = S u, y muestra que Z == u también evalúa False.

luego, lleva esa observación al ejercicio.

saludos

luis