λ演算的非形式化是怎样描述的？爱问知识人

λ演算的非形式化是怎样描述的？

λ演算的非形式化是怎样描述的？

提交回答

全部答案

这是我的回答，希望对你有帮助。 
对上述等价关系的一个更具操作性的定义可以这样获得：只允许从左至右来应用规则

2016-09-12 13:06:44

16 8 评论

提交评论

换一换

1

问：λ演算的非形式化的描述是什么？

答：类似λx.(xy)这样的lambda表达式并未定义一个函数，因为变元y的出现是自由的，即它并没有被绑定到表达式中的任何一个λ上详情>>
2 λ演算的非形式化的描述有哪些呢？回答2
3 λ演算的非形式化的描述有哪些？回答2
4 如何理解指数式与对数式的关系回答2
5 求λ演算的非形式化的描述回答2
1

问：λ演算的非形式化的描述是什么

答：η变换前两条规则之后，还可以加入第三条规则，eta变换，来形成一个新的等价关系详情>>
2 λ演算的非形式化的描述是怎样的？回答2
3 λ演算的非形式化是如何表达的呢？回答2
4 λ演算的非形式化是指什么回答2
5 什么是黑盒测试和白盒测试?帮忙解回答2
1

问：想学好初中历史读什么书最有用（别

答：我建议你: 1.在看完语文,数学和英语后,用20分钟看你最近所学的三篇课时 2.适当的买一,两本历史辅导教材,例如<<教材全析>>,每学...详情>>
2 关于JAVAJAVA做的程序可不回答2
3 广州经济技术开发区东区哪个厂女孩回答2

1

问：计算机等级考试三级网络技术和数据库考哪个有用？

答：这个要看你以后从事的行业方向了，我学的是软件编程，然后考的是三级数据库，三级“数据库技术”证书，表明持有人具有计算机应用的基础知识，掌握数据结构、操作系统的基本...详情>>
2 网络工程网络工程我想学网络工程技术回答1
3 什么是网络入侵检测技术呢？回答1
4 网络数据库技术数据处理回答1
5 如何使用动态分段技术建立配货网络数据库回答1