怎么设计x 1图灵机指令集五元组指令集计算x-1

第4章 计算学科中的基本概念 李陶罙 tshli@ 4.1 计算模型与二进制 计算模型与x 1图灵机指令集 计算模型: 刻画计算这一概念的一种抽象的形式系统或数学系统 在计算科学中,是指具有狀态转换特征能够对所处理的对象的数据或信息进行表示、加工、变化、接收、输出的数学机器。 计算模型的层次: 计算某个(类)具體问题的计算方法; 按照计算方法对应的程序完成某类问题特定计算所需要的平台 在计算能力上具有某种等价性的形式系统。 计算模型嘚模型(一切计算模型所内含的机理) 计算模型与x 1图灵机指令集 图灵的观点及结论: 凡是能用算法方法解决的问题也一定能用x 1图灵机指囹集解决;凡是x 1图灵机指令集解决不了的问题,任何算法也解决不了 与x 1图灵机指令集等价的计算模型: 递归函数 λ-演算 POST规范系统 x 1图灵机指令集是从过程这一角度来刻画计算的本质,其结构简单、操作运算规则也较少从而为更多的人所理解。 x 1图灵机指令集 x 1图灵机指令集由┅条两端可无限延长的带子、一个读写头以及一组控制读写头工作的命令组成 x 1图灵机指令集 写在带子上的符号为一个有穷字母表:{S0,S1S2,…Sp}。 可以认为这个有穷字母表仅有S0、S1两个字符 其中S0可以看作是“0”,S1可以看作是“1” 由 “0”和“1”组成的字母表可以表示任何一個数。 由于“0”和“1”只有形式的意义因此,也可以将S0改称为“白”S1改称为“黑”,甚至还可以改称为“桌子”和“老虎”,这样妀称的目的在于割断与直觉的联系并加深对布尔域中的值{真,假}以及二进制机器本质的理解。机器的控制状态表为:{q1q2,…qm}。 将一個x 1图灵机指令集的初始状态设为q1在每一个具体的x 1图灵机指令集中还要确定一个结束状态qw。 一个给定机器的“程序” 机器内的五元组(qiSjSkR(戓L或N)ql)形式的指令集五元组定义了机器在一个特定状态下读入一个特定字符时所采取的动作。5个元素的含义如下: qi表示机器目前所处嘚状态; Sj表示机器从方格中读入的符号; Sk表示机器用来代替Sj写入方格中的符号; R、L、N分别表示向右移一格、向左移一格、不移动; ql表示下┅步机器的状态 一个机器计算的结果是从机器停止时带子上的信息得到的。容易看出q1S2S2Rq3指令和q3S3S3Lq1指令如果同时出现在机器中,当机器处于狀态q1第一条指令读入的是S2,第二条指令读入的是S3那么机器会在两个方块之间无休止地工作。 另外如果q3S2S2Rq4和q3S2S4Lq6指令同时出现在机器中,当機器处于状态q3并在带子上扫描到符号S2时就产生了二义性的问题,机器就无法判定 例子: b表示空格,q1表示机器的初始状态 q4表示机器的結束状态,设带子上的输入信息是读入头位对准最右边第一个为0的方格,状态为初始状态q1规则如下: q1 0 1 L q2 q1 1 0 L q3 q1 b b N q4 q2 0 0 L q2 q2 1 1 L q2 q2 b b N q4 q3 0 1 L q2 q3 1 0 L q3 q3 b b N q4 计算结果是,即对给定的数加1 x 1圖灵机指令集的计算能力 第一,把x 1图灵机指令集看作识别器即判断带子上最初的内容能否被x 1图灵机指令集所接受。假定x 1图灵机指令集从咗向右扫描完带子上的内容后停机则为接受否则为不接受。 例2 一台x 1图灵机指令集可以设计成识别下面的序列: 0101011 x 1图灵机指令集的计算能仂 第二,把x 1图灵机指令集看作生成器对给定的输入集合,考察输出集合并研究输入输出集合性质之间的关系,这就研究了x 1图灵机指令集的生成能力 例3 设一台x 1图灵机指令集的输入集合为In={1n0n│n∈N},可设计一台x 1图灵机指令集对给定的输入集合In,得到输出集合Out={0n1n│n∈N}其中,N是全体自然数的集合 x 1图灵机指令集的计算能力 第三,把x 1图灵机指令集看作计算器相当于一个函数。x 1图灵机指令集的输入是函数的自變量的值x 1图灵机指令集的输出是函数的值。 例4 x 1图灵机指令集可以计算下列函数: (1) s(x)=x+1; (2) o(x)=0; (3) A(0y)=y+1, A(x+10)=A(x,1) A(x+1,y+1)=A(xA(x+1,y)) x 1图灵機指令集的计算能力 第一和第二个函数读者不难从x 1图灵机指令集的定义出发感悟到它们是x 1图灵机指令集可以计算的函数,而第三个函数就仳较复杂一时难于判断。顺便提一下第

可选中1个或多个下面的关键词搜索相关资料。也可直接点“搜索资料”搜索整个问题

采纳数:1 获赞数:5 LV2

你对这个回答的评价是?

一种适用于大规模并行批处理作業的分布式云服务可支持海量作业并发规模,系统自动完成资源管理作业调度和数据加载,...


阿里云流计算(Aliyun StreamCompute)是运行在阿里云平台上的流式大数据分析平台提供给用户在云...


提供一种性能卓越、稳定、安全、便捷的计算服务,帮助您快速构建处理能力出色的应用解放计算給服务带来的压力,使您的...


为您提供简单高效、处理能力可弹性伸缩的计算服务帮助您快速构建更稳定、安全的应用,提升运维效率降低 IT 成本...

我要回帖

更多关于 x 1图灵机指令集 的文章

 

随机推荐