图灵机
模拟人们用纸笔进行数学运算过程的机器。
人用纸笔进行数学运算的过程可以看过两种简单动作:
- 在纸上写上或擦除某个符号。
- 把注意力从纸的一个位置移到另一个位置。
而人进行下一步的动作依赖于 当前注意力所关注纸带位置记录的符号 和 此人当前的思维状态。
所以,该机器由四部分构成:
- 一条无限长的纸带TAPE。纸带被划分为一个接一个的小格子,每个格子上包含一个来自有限字母表的符号,字母表中有一个特殊的符号表示空白。纸带上的格子从左到右依次被编号为0, 1, 2, ...,纸带的右端可以无限伸展。
- 一个读写头HEAD。该读写头可以在纸带上左右移动,它能读出当前所指的格子上的符号,并能改变当前格子上的符号。
- 一个状态寄存器。它用来保存图灵机当前所处的状态。图灵机的所有可能状态的数目是有限的,并且有一个特殊的状态,称为停机状态。
- 一套控制规则TABLE。它根据当前机器所处的状态以及当前读写头所指的格子上的符号来确定读写头下一步的动作,并改变状态寄存器的值,令机器进入一个新的状态。
分享到:
相关推荐
本资源给出了Eclipse下图灵机的完整Java程序源码工程包,开发说明文档中给出了图灵机概要设计,功能实现程序结构剖析,明了易懂,源码导入Eclipse即可使用,无需编译,实用性极强。 功能简述:Java GUI(AWT)生成...
该文档设计一个图灵机,目的实现二进制数x+1。该文档中包含文档说明和实现程序代码。
图灵机模型与现代计算机演化,
超出图灵机的云计算,云计算下的软件工作模式。
图灵机图灵机图灵机图灵机图灵机图灵机图灵机
这是一个简单的单带图灵机,用C++编写,判定输入是否属于语言:n个0后跟n个1
智慧的疆界:从图灵机到人工智能.docx
图灵机知识介绍图灵机知识介绍图灵机知识介绍图灵机知识介绍图灵机知识介绍图灵机知识介绍图灵机知识介绍
图灵机的flash动画演示 图灵机的flash动画演示 清晰 明白
图灵机的java实现,通过txt文本文档载入图灵机,具体可见压缩文件内txt文本
Java实现模拟图灵机x*2的运行过程,资源包含: 图灵机.java 仅仅包含一个java文件。
通过QT实现可视化图灵机
学习《算法分析与设计》,总要掌握的图灵机的基本模型。
关于图灵机与计算问题的权威ppt,整理了很长很长时间。很有用的课件。
图灵机与可计算性课件.rar 图灵机与可计算性课件.rar
图灵机,又称确定型图灵机,是英国数学家阿兰·图灵于1936年提出的一种抽象计算模型,其更抽象的意义为一种数学逻辑机,可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。
DOS界面的图灵机 把input复制到C盘,程序从C盘读取状态转移函数,再按提示输入字符就行了。随程序提供了两个函数,anbn和log2n。可以在input里替换。
该图灵机模拟程序的功能包括: (1)定义需要的状态; (2)设计并输入控制规则; (3)初始化; (4)运行时接收输入(即初始化纸带上的符号); (5)运行后输出结果。
图灵机实现冒泡算法(c语言),附有说明报告和ppt详解。
是本人制作的ppt.探讨了由图灵机到C语言到C++到函数式编程等语言变化后的语义本质。