关于孟岩一篇文章的讨论

原创 2005年03月01日 03:34:00
链接在这里
还是不太明白为什么大脸猫说Imperative语言违背了图灵机的计算模型。

冯.诺依曼的模型并不是计算模型吧?它只是计算模型的一种具体实现而已,而且这个模型恰恰有效率地实现了图灵机的计算模型。简单对比一下,两者都依赖于状态的改变。我记得图灵机不就是用读写头去改变带子上的状态么?而带子上的状态也可以指示读写头到底怎么操作。这个和冯的模型完全一致吧:存储单元里的数据既可以是纯的数据,也可以是指示机器操作的命令。只不过一台冯。诺依曼机器有两条带子,一条读写数据,一条模拟操作。不过我们在本科学了图灵机后第一作业不就是证明两条带子的图灵机和一条带子的图灵机完全等价么? 其实看我们证明不同类型图灵机等价问题时用的方法,基本就是模拟。也就是说,带子上的数据配合读写头的移动模拟了某个计算。这也是纯粹的状态改变嘛。机器里的存储单元恰恰模拟了图灵机里的带子。看不出有什么公理系统在背后呢?所以把冯的理论和图灵的理论对立起来说不过去。而且图灵机模型里面哪里提到了完全依赖公理,不分数据和操作的(不是质问,而是请教哈。)?能不能提供一篇论文以做佐证啊?再说到语言层面,imperative的语言,C++也好,Fortran也好,都是依靠改变系统的状态来进行计算的,所以也不存在违背图灵机原理一说吧?再回过来看Lambda理论,倒真是建立在几个简单的公理上,而且强调不依靠状态改变来进行计算。我总觉得大脸猫说的是“背离了图灵机计算”应该改成“背离了Lambda Calculus的理论”才对的说。
版权声明:本文为博主原创文章,未经博主允许不得转载。

相关文章推荐

孟岩:Java替代C语言的可能性2007年旧文章

孟岩:Java替代C语言的可能性 2007-01-16 00:04:08 http://blog.csdn.net/myan/archive/2007/01/14/1482614.aspx Java替...

STL之父访谈录(一万二千字的大块头)---孟岩翻译

STL之父访谈录 1995年3月,Dr.Dobb's Journal特约记者, 著名技术书籍作家Al Stevens采访了STL创始人Alexander Stepanov. 这份访谈纪录是迄今为止...

Win32系统编程之四书五经(作者:孟岩)

(感谢孟岩老师写的这篇学习指南,本文发表于《程序员》2007年11月上半月期)         通常在某一个具体细分的技术领域,会自然而然地出现3-5本顶级著作,它们彼此互相配合,形成一个完整的...

[转]如何学习新东西-孟岩

我主张,在具备基础之后,学习任何新东西,都要抓住主线,突出重点。对于关键理论的学习,要集中精力,速战速决。而旁枝末节和非本质性的知识内容,完全可以留给实践去零敲碎打。原因是这样的,任何一个高级的知识内...

C++沉思录(孟岩译)

  • 2012-04-09 19:29
  • 7.70MB
  • 下载

孟岩——什么是高级C++,软件工业化时代的C++价值观

什么是高级C++? ——软件工业化时代的C++价值观 孟岩 《程序员》杂志社 开门见山 主要论点:     1. C++本质上是一种重“创新”而轻“生产”的语言,到目前为止仍然是主流语言中最适合技术...

分享:孟岩的《理解矩阵》一文

本文转自:http://spaces.ac.cn/archives/1754/之前已经提到我要自学相对论和量子力学。作为现代物理的两大支柱,所用的数学也是很“现代”的,不能总是用高中那套简单的模式来计...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

(最多只允许输入30个字)