关于孟岩一篇文章的讨论
来源:互联网 发布:淘宝如何取消收藏店铺 编辑:程序博客网 时间:2024/05/01 23:56
链接在这里
还是不太明白为什么大脸猫说Imperative语言违背了图灵机的计算模型。
冯.诺依曼的模型并不是计算模型吧?它只是计算模型的一种具体实现而已,而且这个模型恰恰有效率地实现了图灵机的计算模型。简单对比一下,两者都依赖于状态的改变。我记得图灵机不就是用读写头去改变带子上的状态么?而带子上的状态也可以指示读写头到底怎么操作。这个和冯的模型完全一致吧:存储单元里的数据既可以是纯的数据,也可以是指示机器操作的命令。只不过一台冯。诺依曼机器有两条带子,一条读写数据,一条模拟操作。不过我们在本科学了图灵机后第一作业不就是证明两条带子的图灵机和一条带子的图灵机完全等价么? 其实看我们证明不同类型图灵机等价问题时用的方法,基本就是模拟。也就是说,带子上的数据配合读写头的移动模拟了某个计算。这也是纯粹的状态改变嘛。机器里的存储单元恰恰模拟了图灵机里的带子。看不出有什么公理系统在背后呢?所以把冯的理论和图灵的理论对立起来说不过去。而且图灵机模型里面哪里提到了完全依赖公理,不分数据和操作的(不是质问,而是请教哈。)?能不能提供一篇论文以做佐证啊?再说到语言层面,imperative的语言,C++也好,Fortran也好,都是依靠改变系统的状态来进行计算的,所以也不存在违背图灵机原理一说吧?再回过来看Lambda理论,倒真是建立在几个简单的公理上,而且强调不依靠状态改变来进行计算。我总觉得大脸猫说的是“背离了图灵机计算”应该改成“背离了Lambda Calculus的理论”才对的说。
还是不太明白为什么大脸猫说Imperative语言违背了图灵机的计算模型。
冯.诺依曼的模型并不是计算模型吧?它只是计算模型的一种具体实现而已,而且这个模型恰恰有效率地实现了图灵机的计算模型。简单对比一下,两者都依赖于状态的改变。我记得图灵机不就是用读写头去改变带子上的状态么?而带子上的状态也可以指示读写头到底怎么操作。这个和冯的模型完全一致吧:存储单元里的数据既可以是纯的数据,也可以是指示机器操作的命令。只不过一台冯。诺依曼机器有两条带子,一条读写数据,一条模拟操作。不过我们在本科学了图灵机后第一作业不就是证明两条带子的图灵机和一条带子的图灵机完全等价么? 其实看我们证明不同类型图灵机等价问题时用的方法,基本就是模拟。也就是说,带子上的数据配合读写头的移动模拟了某个计算。这也是纯粹的状态改变嘛。机器里的存储单元恰恰模拟了图灵机里的带子。看不出有什么公理系统在背后呢?所以把冯的理论和图灵的理论对立起来说不过去。而且图灵机模型里面哪里提到了完全依赖公理,不分数据和操作的(不是质问,而是请教哈。)?能不能提供一篇论文以做佐证啊?再说到语言层面,imperative的语言,C++也好,Fortran也好,都是依靠改变系统的状态来进行计算的,所以也不存在违背图灵机原理一说吧?再回过来看Lambda理论,倒真是建立在几个简单的公理上,而且强调不依靠状态改变来进行计算。我总觉得大脸猫说的是“背离了图灵机计算”应该改成“背离了Lambda Calculus的理论”才对的说。
- 关于孟岩一篇文章的讨论
- 一篇关于老谋子的文章
- 一篇关于异常的文章
- 一篇关于创业的文章
- 关于sort的一篇文章
- 一篇关于AOP的文章
- 关于DCL 的一篇文章
- 一篇关于skinmagic的文章
- 关于堆栈的一篇文章
- 一篇关于JavaIo的文章
- 关于数字签名的一篇文章
- 一篇关于搜索引擎的文章
- 一篇关于通知的文章
- 一篇关于程序员的文章
- 一篇关于程序员的文章
- 一篇关于程序员的文章
- 一篇可以终结房价涨跌讨论的文章(…
- 一篇很好的关于男女的文章
- Ready for Notebook
- 新的开始
- game engine
- 开始设计游戏王网络对战ASP版本.
- DHCP服务器的迁移
- 关于孟岩一篇文章的讨论
- /*- Xoops Themes Configuration by Emerald *-/
- 专题----天极下载:求职、跳槽中英文简历模板下载集合
- 怎样成为优秀的软件模型设计者?
- 程序员如何接私单做SOHO一族
- [翻译]Nehe Lesson#12 显示列表
- [翻译]cal3d文件结构
- 编写安全的代码
- 基2快排原理与代码