Lambda 演算帮助
所以我完全陷入了问题的这一部分。如果有人能帮忙那就太好了............
显示项 ZZ，其中 Z 是 λz.λx。 x(zzx) 满足 定点组合器的要求为 ZZM =β M(ZZM)。
So i'm totally stuck on this one part of a problem. It would be awesome if someone could help.........
Show that the term ZZ where Z is λz.λx. x(z z x) satisfies
the requirement for fixed point combinators that ZZM =β M(ZZM).
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
这完全是微不足道的。
的定义两次：
您只需应用 β-约简 是β-还原。
因此，ZZM β-分两步还原为 M (ZZM)，因此 ZZM =β M (ZZM)。
This is completely trivial.
You just apply the definition of β-reduction two times:
where > is the β-reduction.
Therefore Z Z M β-reduces to M (Z Z M) in two steps, hence Z Z M =β M (Z Z M).