ラムダ計算ヘルプ

Question

私はこの問題の1つの部分に完全に固執しています。誰かが助けることができればすばらしいでしょう.........

ここで、Zという用語は、Zがλzです。 x（z z x）は、 を満たし、ZZM =βM（ZZM）である固定小数点結合器に対する要件を満たす。

Answer 1

これはまったく些細なことです。 >は、β-減少である

Z Z M = (λz.λx. x(z z x)) Z M > (λx. x(Z Z x)) M > M (Z Z M) 

： あなただけのβ-削減2回の定義を適用します。

したがって、Z Z Mは2ステップでM（Z Z M）に減少し、したがってZ Z M =βM（Z Z M）に減少する。