>>424
> >>423
> 「リダクションだけでは進まない」って何を指して言ってる？
> y fを評価していってもf (y f)と構文的に同じにならないってこと？

（λｘ.．Ｍ）Ｎ　→　Ｍの中の自由なｘをＮで置き換えた項

という一種の書き換えによって左から右へと進めるのがリダクション。
この左から右への向きだけではＹｆからスタートしてｆ（Ｙｆ)は得られないということ。

カリーのＹでなくチューリングのΘを用いて最左最外のリデックスをリダクションする正規戦略ならば
Θｆからスタートしてｆ（Θｆ）までリダクションだけで辿り着くことが可能。