描述型计算模型
来源:互联网 发布:淘宝上的拔步床能买吗 编辑:程序博客网 时间:2024/06/07 07:02
又是一个蛋疼的想法,由过程型语言与描述型语言想到
图灵机的计算模型是过程型的,输入的指令需要描述每一步计算过程,即,“怎么做”,想想那些加法器,乘法器的实现就知道了。
但是面向对象的编程语言中,中间有一层抽象——“接口”,却不再理会“怎么做”,只关心,“做什么”。
如果把这个思想稍微往底层移一移,似乎可以得到一种更广义的“计算机”。
把一个程序做的事做一个从上到下的不同层级的抽象区分,最底层的就是几个基本的加减乘除和位操作,而这几个位操作的地方插入了硬件实现,实现了逻辑和物质的对接。
理论上来说,在这个层次图的任何一级,都可以插入硬件,只是这几个基本操作很好地对应了逻辑萌电路,而且表达力也够强。
假设我们能找到一组表达力足够,同时能对应一种比萌电路实现更有效的物质实现,是不是能创造出一种更高效的“计算机”了呢?
更发散一点,可以为lambda演算的几种操作找物质实现,因为他们够简单。
再发散一点,似乎可以不局限于“计算”这种形式,各种问题的求解,如果也按照对应的抽象分级,在某一层找到对应的物质实现,那些大部分的不可计算问题、目前的“非人不可”的工作,似乎都有点希望“自动化”。其实从这个角度看汽车什么的,不也可以对应到这种设想上吗?到了这种地步就看想象力了。
回到计算机,不同的物质实现其实很早就有人设想,像生物计算机,虽然我没看过,但是,如果能找到一种稳定的应对不同输入的生物应激现象,不也是可以拿来做物质实现吗?
同样的很多物理化学现象,甚至不需要那么稳定,能以多少的概率对同样的输入有稳定输出,也是可以接受的,就看能不能快到抵消这种不确定性。
如果要使计算机能在质上超出递归可枚举语言,只能将封装更复杂的计算任务到物质实现,或许也是半人工智能的出路。或许可以出现以人为物质实现单位的超级计算机的科幻场景,这都不能算是计算机了,事实上这似乎就是人类社会的运行模式。
——最近看《奥术神座》这本改编科学史的小说,不禁有点骚动呢。
- 描述型计算模型
- OSI模型简单描述
- jvm内存模型简单描述
- 表达式和计算的描述
- 并行计算之计算模型
- TensorFlow计算模型--计算图
- TensorFlow计算模型--计算图
- 计算模型的认识
- 灰色模型计算过程
- 条件组合计算模型
- [转载]计算模型
- spark 并行计算模型
- spark 并行计算模型
- 现状容积率计算模型
- 云计算服务模型
- 计算学习理论PAC模型
- 计算模型总结
- 并行计算模型
- xsi:schemaLocation详解
- 关于Android的内存的各种监测方法
- Android4.4.2下Activity在横竖屏切换时的生命周期
- cocos2d-x 3.1.1 学习笔记[3]Action 动作
- 【剑指offer】从尾到头打印链表
- 描述型计算模型
- java.io.IOException: could only be replicated to 0 nodes, instead of 1.
- hdu3892 Common Roots 最大取模公因式
- 【学生管理系统】--特殊语句
- Linux经典面试题及答案
- ASP.NET实现伪静态的方法
- android使用ComponentName组件简单示例
- HDOJ 2065 "红色病毒"问题
- 容器学习(二):动手模拟AOP