如何解决减少这个 lambda 表达式
(λy.λy.yy)(yy) 伙计们,我无法解决这个表达式。 如果有人帮助我逐步减少这个 lambda 表达式,我将不胜感激
解决方法
(λy.λy.yy)(yy)
第一个 lambda 永远不会“使用”它的变量,因为它与内部 lambda 的名称相同。不过,如果这不是转录错误,则减少很简单。
在减少可能存在名称冲突的表达式之前,重命名绑定变量。表达式变为:
(λx.λz.zz)(yy)
接下来,替换。 由于第一个 lambda 中的变量 x 没有任何要替换的绑定实例,因此您对其应用的任何内容都会被丢弃。
λz.zz
由于这个表达式不能再简化了,这是正常形式。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。