我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:多盈娱乐注册 > 多带图灵机 >

当代信息哲学的重要论题:认知、逻辑与计算

归档日期:05-26       文本归类:多带图灵机      文章编辑:爱尚语录

  对于现代计算科学与通信科学而言,信息是其研究基础[3]。提到计算,首先应该讨论的就是图灵机(Turing Machine)。1936年,阿兰图灵提出一种抽象化的计算模型,即图灵机。最基本的图灵机结构简单,由读写磁头、一条无限长的纸带和可在其上读写的符号,以及一段用于处理符号的有限确定程序组成[1]173。闵斯基绘制的图灵机模型,展示了其基本工作原理。

  该模型中,箭头所指为初始状态(ql)。初始状态位于读写磁头内部;图中无限长纸带上已经预先填置了“0”位状态,而带阴影的位置,即“l”、“1”、“B”,以及初始的“0”位,共同组成了系统的完整状态[4]。随着磁头读写纸带上的状态,以及无限长纸带的移动,图灵机在理论上可以描述任意的计算过程。这种数学描述,也被视为计算的一般属性[5]

  图灵机为我们提供了一个将连续事件进行离散化计算的先验模型。阿德里安斯认为,图灵机对有限离散符号集进行了本地物理存储和处理,按照有限的确定规则集,原本无限的数据集(无限长纸带),将被视为一个连续的有限离散过程。该观点也继而生成了现代计算机科学的核心工作假说:可以通过图灵机程序任意描述有限离散系统或过程。[1]145

本文链接:http://cakesbyrita.net/duodaitulingji/372.html