Hola,
Para ese caso las sugerencias deberían de ser:
Función: f5
**Sugerencia para:
\y -> f x y
Usar eta-reducción. Reemplazar por:
f x
**Sugerencia para:
\x -> f x
Usar eta-reducción. Reemplazar por:
f
--------------------------------------------------------------------------------
La función f5 es equivalente a:
f5 = \x -> (\y -> (f x) y)
Entonces la primera eta-reducción que se va a sugerir es la más interna:
\y -> (f x) y ==> f x
notar que y no ocurre libre en la expresión (f x).
Luego, si reescribimos f5 según la sugerencia como
f5 = \x -> f x
tenemos la posibilidad de hacer otra eta-reducción:
f5 = f
saludos
Para ese caso las sugerencias deberían de ser:
Función: f5
**Sugerencia para:
\y -> f x y
Usar eta-reducción. Reemplazar por:
f x
**Sugerencia para:
\x -> f x
Usar eta-reducción. Reemplazar por:
f
--------------------------------------------------------------------------------
La función f5 es equivalente a:
f5 = \x -> (\y -> (f x) y)
Entonces la primera eta-reducción que se va a sugerir es la más interna:
\y -> (f x) y ==> f x
notar que y no ocurre libre en la expresión (f x).
Luego, si reescribimos f5 según la sugerencia como
f5 = \x -> f x
tenemos la posibilidad de hacer otra eta-reducción:
f5 = f
saludos