自动机理论与函数规划
自动机理论与函数规划
提问于 2015-02-02 16:32:09
我最近开始学习函数式编程，并开始接触Haskell。功能范式和其他范式之间的根本区别是，我们不维护状态，也没有像命令式范式那样的计算。命令式编程的基本理论是自动机理论，自动机理论是计算机的基础。
话虽如此，我看不出自动机理论和函数规划之间有什么关系。那么，函数式编程是否改变了内到外编程的基本原理？
回答 1
Stack Overflow用户
回答已采纳
发布于 2015-02-02 16:40:11
大约在开发图灵机的同时(我猜你指的是TMs，当你说自动机理论是计算机的基础时)，lambda-微积分也被建议作为计算模型(好的，不完全是计算机，但很接近)。这两个概念在某种意义上是等价的，即在TM上可以“实现”的东西也可以由lambda术语“实现”，反之亦然。此外，函数编程或多或少是(类型化) lambda演算的一种实现。所以我想这只是两种不同的看待同一事物的方式。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/28282308
复制相关文章
相似问题
腾讯云开发者
