【粗浅|期末|纯理论】λ(Lambda)演算模型的语法、运算和表达能力(可定义什么)

maro紗恩

于 2021-12-19 01:39:07 发布

阅读量535

点赞数 1

文章标签： lambda

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/moro_shane/article/details/122019218

版权

起源：Church从计算的视角，认为函数到底是什么？

在这里插入图片描述

λ表达式的语法规则

⼊表达式的三种表示法
【知识】什么是⾃由变量与绑定变量？区别是什么？

λ表达式的运算规则

在这里插入图片描述

λ演算模型的表达能力

在这里插入图片描述

定义自然数

最低0.47元/天解锁文章

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。