用图灵机五元组表示函数的表示方法x－1

来源：蜘蛛抓取(WebSpider) 时间：2017-01-03 14:49 标签： 函数及其表示
君，已阅读到文档的结尾了呢~~
广告剩余8秒
文档加载中
图灵机模型理论是计算学科最核心的理论之一; 图灵机模型为计算机设计指明了方向; 图灵机模型是算法 ... 通用图灵机模型是计算机的计算能力的极限; 计算机系统应该有: ...
扫扫二维码，随身浏览文档
手机或平板扫扫即可继续访问
图灵机模型- 计算机导论
举报该文档为侵权文档。
举报该文档含有违规或不良信息。
反馈该文档无法正常浏览。
举报该文档为重复文档。
推荐理由：
将文档分享至：
分享完整地址
文档地址：
粘贴到BBS或博客
flash地址：
支持嵌入FLASH地址的网站使用
html代码：
&embed src='/DocinViewer-4.swf' width='100%' height='600' type=application/x-shockwave-flash ALLOWFULLSCREEN='true' ALLOWSCRIPTACCESS='always'&&/embed&
450px*300px480px*400px650px*490px
支持嵌入HTML代码的网站使用
您的内容已经提交成功
您所提交的内容需要审核后才能发布，请您等待！
3秒自动关闭窗口图灵机状态转移函数为什么是部分函数？
已有 2138 次阅读
|个人分类:|系统分类:|关键词:图灵机 状态转移函数
图灵机状态转移函数为什么是部分函数？姜咏江&图灵机是神秘的机器，能够很通俗地将它解释清楚文章很难找到。为了透彻地理解图灵，我们不妨先对图灵机定义做一点详细的研究。1.1.1. 图灵机的数学定义关于图灵机的数学定义一般介绍如下：一台图灵机M是一个七元组，{Q，Σ，Γ，δ，q0,qaccept,qreject}，其中 Q，Σ，Γ 都是有限集合，且满足：（1）Q 是有限状态集合；（2）Σ是输入字母表，其中不包含特殊的空白符 □；（3）Γ 是带子上字母表，其中 □∈Γ且ΣΓ ；（4）δ：Q×Γ→Q×Γ×{L,R}是转移函数，其中L,R 表示读写头是向左移还是向右移；（5）q0∈Q是起始状态；（6）qaccept是接受状态；（7）qreject是拒绝接收状态，且qreject≠qaccept。&这是啥意思？定义的（2）和（3）条比较好理解，Σ可以理解成英文的字母符号表，最简单的可以将它理解成Σ=｛0,1｝。Γ是写在带子上的字母表，为了区分不同的连续表达的意思，用空格来区分这是书写的常规。这里说ΣΓ 是因为集合Γ比集合Σ多了一个空格字符□。我们用最简单的情况考虑，理解Γ=｛0,1,□｝。用一定位数的二进制数可以表达语言文字。例如，8位的西文ascll编码表，或者16位的unicode编码表。16位的汉字编码表等。将Γ带子上的“格子”是理解成单独的0和1，还是理解成由一定位数的二进制编码组织的数据？这是理解好图灵机的一个关键问题。笔者认为，将带子上的格子理解成能写入固定位数的二进制数较妥。定义中的（5）是任何机器运行所必需的条件。q0∈Q是说q0也是一个状态，但究竟是怎样的一种状态？却是留下了进一步想象的空间。定义（6）和（7）的理解是多样的。接受状态和拒绝状态是指什么？是指转移函数接受读写头读出的字符还是拒绝？定义中最难理解的是δ：Q×Γ→Q×Γ×{L,R}这个转移函数。关于转移函数的讨论，我们用具体的问题来看一下。表 1是我们设计的一个二进制两位数乘法运算的图灵机转移函数。Σ＝｛00，01，10，11｝。不考虑空格和怎样打印输出，实际这个转移函数就是δ：Q×Σ→Q×Σ。左面Σ是读入的二进制数，右面的Σ应该是输出两位的二进制数。从表 1的实际乘法运算，我们看到好几项乘法的结果都不在Σ中，此时图灵机就不能够识别，因而会产生拒绝的情况，造成停机。本来两位二进制数乘积应是｛00，01，10，11，100，110，1001｝这是两位数的乘法运算值域，但Σ中不包含100、110、1001，也就是说函数不构成满射，所以才叫部分函数。表中能够返回q0的情况就叫接受状态qaccept。Q={q0,q1,q2,q3,q4,qaccept,}。定义中的qreject实际上应不属于Q，不然就造成了悖论。1 &两位数乘法运算图灵机转移函数序号前状态Q输入乘法结果后状态Q1q000&q1201&q2310&q3411&q45q1&0000qaccept60100qaccept71000qaccept81100qaccept9q20000qaccept100101qaccept111010qaccept121111qaccept13q30000qaccept140110qaccept1510100qreject1611110qreject17q40000qaccept180111qaccept1810110qreject20111001qreject&&&&
转载本文请联系原作者获取授权，同时请注明本文来自姜咏江科学网博客。链接地址：
上一篇：下一篇：
当前推荐数：0
评论 ( 个评论)
扫一扫，分享此博文
作者的精选博文
作者的其他最新博文
热门博文导读
Powered by
Copyright &图灵机五元组指令集-学网-提供健康,养生,留学,移民,创业,汽车等信息
图灵机五元组指令集
向左转|向右转 右移,左移,不动 3、 图灵机模型理论是计算学科最核心的理论,因为计算机的极限计算能力就是通用图灵机的计算能力,很多问题可以转化到图灵机这个简单的模型来考虑。 对图灵机给出如此... 冯诺依曼制造的第一台计算机,后来的计算机遵循他的基本原理。图灵对现代计算机的贡献主要是:建立了图灵机的理论模型,发展了可计算性理论;提出了... 存储单元是定长的线性组织; (3)存储空间的单元是直接寻址的; (4)使用机器语言,指令通...相当于计算机代码中的0和1。图灵纸条中的空白点表示0,非空白点表示1所谓的图灵机就是指一个抽象的机器,它有一条无限长的纸带,纸带分成了一个一个的小方格,每个方格有不同的颜色。有一个机器头在纸带上移来移去。机器头有一组内部状态,...计算机由运算器、存储器、控制器和输入设备、输出设备五大部件组成 指令和数据以不同等地位存放于存储器内,并可按地址寻访 指令和数据均用二进制码表示 指令由操作码...当初图灵是怎么想到这一架构的??? 正如当初我是怎么想到回答这个问题的.....你的问题感觉只有图灵能回答了........ 电路通断是不是代表1或者0.这两种状态。 许多的不同排列...
您可能还关注:&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
大类导航： |图灵机模型_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
评价文档：
图灵机模型
上传于||文档简介
&&图​灵​机​模​型
大小：547.50KB
登录百度文库，专享文档复制特权，财富值每天免费拿！
你可能喜欢

我要回帖

更多关于 函数及其表示 的文章

 

随机推荐