8
你怎么认为lambda微积分是图灵完成的事实（以最简单的方式）？lambda演算的图灵完备性？
A
回答
8
最直接的方法是在Lambda微积分中实现图灵机。这很容易，因为Lambda微积分实际上是一种高级编程语言。这种方法的优点是不需要任何其他的数学依赖关系，因此它应该提供提供论证的最简单可能的方法。
就数学证明而言，通过实现另一个已经被证明是图灵完备的范例，最简单的方法就是μ-递归函数。这些已经递归定义了，所以它们在Lambda微积分中的表达比图灵机本身稍微优雅。
1
Brainfuck是非常密切的模型图灵机， 你会发现在 http://en.wikipedia.org/wiki/Binary_lambda_calculus#Brainfuck
相关问题
- 1. 图灵的完备性
- 2. 质疑LAMBDA演算
- 3. 是否有条件地支持图灵完备性的要求？
- 4. 基于constexpr的计算图灵完整？
- 5. 在理解计算中，我无法理解这个lambda演算
- 6. VHDL图灵是否完整？
- 7. 计算理论图灵机
- 8. Lisp松散地是什么类型的lambda演算？
- 9. 带输出问题的Lambda演算解释器
- 10. 寻找非图灵完成的语言
- 11. Actionscript3是否提供列表解析或lambda演算？
- 12. 如何在球拍中应用lambda演算规则？
- 13. 解释一个图灵机的计算
- 14. 图像精灵和触摸设备
- 15. 是SQL甚至TSQL图灵完成？
- 16. 关于UML和图灵完全
- 17. 从lambda的模板参数演绎
- 18. 计算反演？
- 19. 命题演算
- 20. 斯卡拉的类型系统的哪个属性使它完成图灵？
- 21. 平方根计算图灵机
- 22. 关于神经网络的图灵完备性有哪些实用的证明？什么nns可以执行代码/算法？
- 23. Yii的灵活性
- 24. 为什么lambda转换不在图灵机中？
- 25. 是否可以在无类型的lambda演算中有效地实现`max`？
- 26. Scala是否像C++ lambda一样灵活？
- 27. 堆的算法演练
- 28. 构建非确定性图灵机
- 29. 计算给定的Lambda
- 30. GPars：等待演员完成
阐述了一个演算解释你展示语言，所有的[μ-递归函数（HTTPS：//en.wikipedia .org/wiki /％CE％9C-recursive_function）可以在lambda演算中表示，然后依赖于那些图灵完备性结果 – 2012-03-08 14:31:34