图灵机开发说明文档.docx
- 文档编号:7542156
- 上传时间:2023-01-24
- 格式:DOCX
- 页数:28
- 大小:462.55KB
图灵机开发说明文档.docx
《图灵机开发说明文档.docx》由会员分享,可在线阅读,更多相关《图灵机开发说明文档.docx(28页珍藏版)》请在冰豆网上搜索。
图灵机开发说明文档
典型图灵机的Java编程示例
一图灵机概述
图灵机(TM)是一种重要的计算模型,它由英国数学家A.M.Turing于1936年提出。
这个模型很好的描述了计算过程。
无数的事实表明,任何算法都可以用一个图灵机来描述,这就是著名的丘奇论题。
图灵机在可计算性理论中起着重要作用。
可以证明图灵机识别的语言就是0型语言。
Components.AlanTuringsoughttodescribethemostprimitivemodelofamechanicaldevicethathadthesamebasiccapabilitiesasahuman"computer."图灵机Themachineconsistsofthefollowingcompone的组成如下图所示:
它由一个状态控制器,一个读写头和一个输入带组成。
其中输入带左右端可以无限伸长。
带上的每一格恰好有一个字符。
开始时,带上从编号为0开始的n个格存放着由有限输入字母表上的字符组成的字符串,第0格及其左边和第n+1格及其右边各格均为空白。
空白是一个特殊的带符号,它不属于输入字母表。
读写头一次可以在带上读或写一个字符,并可根据指令向左或向右移一格。
状态控制器根据当前的状态,读到输入字符并发布指令。
指令的内容包括状态转换,在带上的一格写上(更换)字符,以及读写头向左或向右移动一格等。
带子上的无穷多个小格可写、可擦;读写头可沿带子左右移动并在带上读写;每个图灵机有一个状态集Q,其中有一个开始状态和一个结束状态;还有一个符号集Σ={0,1,*};可形式化地描述为:
图灵机是一个七元组M=(Q,T,Σ,δ,q0,B,H)其中:
Q---有限的状态集合;
Σ---有限的带字符集合;
B---空白符号,B∈Σ;
T---输入字符集合,T⊆Σ且B∉T;
δ---下一次动作函数,是从QxΣ到QxΣx{L,R}的映射,即控制器的规则集合
q0---初始状态,q0∈Q;
H---终止状态集合,H⊆Q.
工作过程:
首先从开始状态启动,每次动作都由控制器根据图灵机所处的当前状态和读写头所对准的符号决定下一步动作(或称操作)其中每一步包含三件事。
各符号写到读写头当前对准的那个小格内,取代原来的符号。
读写头向左或向右转动一格、或不动。
一次动作会引起:
(1)控制器改变状态;
(2)在当前扫描到的单元上,重写一个字符取代原来的字符;
(3)读写头左移或右移一个单元;
根据控制器的命令用某个状态(可以是原状态)取代当前的状态,使用图灵机进入一个新的状态。
控制器的命令:
(状态、符号)→(写符号,移动、状态),当图灵机进入一个结束状态就停机。
计算任务宣告完成,带上的内容即为输出结果。
二图灵机模拟器编程
1软件开发环境简介
(1)JavaJDK——Java开发的底层支持工具
(2)Eclipse3.2——Java开发的IDE工具,用于编写图灵机的功能实现类和调用界面
2图灵机概要设计
首先以下面的例子剖析一下设计图灵机的算法思想
2.1含有同等数量a和b的字符串识别器
分析:
最初,图灵机M的带上已有字符a..b..a,前后都跟无限多个空白符#,
如下图(a),M开始动作的第一步先读到最左边的第一个a(或b),并改写为X,
如下图(b).然后右移去读最左边的第一个b(或a),并改写为X,
如下图(c).又左移当发现最边的X时,再看紧接着X之后是否为a(或b),若为a(或b),将其改写为X,然后再右移找X,若紧接X之后是b(或a),又将其改写为X.如此反复进行.
图灵机M按以上反复动作过程中,会出现以下情况:
(1)当找a(b)时,如果不再有a(b),M应转向找b(a),如果还能找到b(a),说明b(a)的个数多于a(b)的个数,则M停止,表示不接受.如果找不到b(a),说明a(b)与b(a)的个数相同,M应该进入终止状态.表示接受.
(2)当找b(a)时,出现空白符#,说明a(b)的个数多于b(a)的个数,M停止,不接受.
通过上面的分析,可构造图灵机M=(Q,T,Σ,δ,q0,#,F),其中:
Q={q0,q1,q2,q3,q4}T={a,b}
Σ={a,b,X,#};F={q4}
δ函数定义如下:
δ(q0,a)=(q1,X,R)δ(q2,a)=(q2,a,L)
δ(q0,X)=(q3,X,R)δ(q2,X)=(q0,X,R)
δ(q1,a)=(q1,a,R)δ(q2,X)=(q2,X,L)
δ(q1,b)=(q2,X,L)δ(q3,X)=(q3,X,R)
δ(q1,X)=(q1,X,R)δ(q3,#)=(q4,#,R)
当M接受句子aabb时,其动作过程用格局表示为:
q0aabb┠Xq1abb所使用的函数δ(q0,a)=(q1,X,R)
┠Xaq1bb所使用的函数δ(q1,a)=(q1,a,R)
┠Xq2aJb所使用的函数δ(q1,b)=(q2,X,L)
┠q2XaXb所使用的函数δ(q2,a)=(q2,a,L)
┠Xq0aXb所使用的函数δ(q2,X)=(q0,X,R)
┠XXq1Xb所使用的函数δ(q0,a)=(q1,X,R)
┠XXXq1b所使用的函数δ(q1,X)=(q1,X,R)
┠XXq2XX所使用的函数δ(q1,b)=(q2,X,L)
┠Xq2XXX所使用的函数δ(q2,X)=(q2,X,L)
┠XXq0XX所使用的函数δ(q2,X)=(q0,X,R)
┠XXXq3X所使用的函数δ(q0,X)=(q3,X,R)
┠XXXXq3所使用的函数δ(q3,X)=(q3,X,R)
┠XXXXq4所使用的函数δ(q3,#)=(q4,#,R)
进一步,在设计过程中如何将已规划好的函数及格局等体现在图灵机执行过程中,用下面的例2说明。
2.2用于计算“x+1”的图灵机。
我们根据图灵机的原理,利用二进制来设计一个专门计算“x+1”的图灵机,要求计算完成时读写头要回归原位。
于是我们设计的图灵机为:
状态集合Q:
{start,add,carry,noncarry,overflow,return,halt}
字母表∑:
{0,1,*}
初始状态q0:
start
停机状态H:
halt
规则集合δ:
(见表2.1)
输入
响应
当前状态
当前符号
新符号
读写头移动
新状态
Start
Add
Add
Add
Carry
Carry
Carry
Noncarry
Noncarry
Noncarry
Overflow
Return
Return
Return
*
0
1
*
0
1
*
0
1
*
0或1
0
1
*
*
1
0
*
1
0
1
0
1
*
*
0
1
*
left
left
left
right
left
left
left
left
left
right
right
right
right
stay
Add
Noncarry
carry
halt
noncarry
carry
overfloe
noncarry
noncarry
right
right
right
right
halt
有了以上这些假设,我们来看该图灵机是如何具体进行计算动作的:
假定x=5,则图灵机的初始状态如图2.2所示,箭头表示读写头当前的位置。
再从规则表2.1可知,当前状态为“add”,当前符号为“1”时,读写头的响应为:
改写当前符号为“0”,并向左移动一格,内部状态改变为“carry”表示有进位,如图2.4所示:
接下来从规则表2.1可知,读写头应改写当前符号为“1”,并向左移动一格,进入“noncarry”状态,表明没有进位,如图2.5所示:
此时,从规则表2.1知道:
读写头不改写当前符号,只是继续向左移动一格,指向“*”,如图2.6所示:
这时实际已经完成“5+1=6”的计算,因为我们要求读写头要回归原位,按规则接下来就是将读写头一路右移直到原位“*”,内部状态保持为“return”状态,如图2.7所示:
从读写头状态可知,图灵机这时还处在运行状态,从规则表中可知,当读写头状态为“return”且当前符号为“*”时,则应进入“halt”状态,由于“halt”状态是该图灵机的停机状态,所以,图灵机停止运行,圆满地完成了计算要求,如图2.8所示:
有了上面设计算法思想的铺垫,下面给出本次开发的某一特定功能图灵机的工作过程示意。
Turingmachinesimulator.ThisisagraphicalTuringMachinesimulator(JavaWebStartversion)thatwaswritteninJavabyTomVentimigliaunderthesupervisionofBobSedgewickandKevinWayne.图灵机模拟器编程示例:
2.3一元至二元的转换
功能:
将输入的字母的个数转换成二进制数
Thecurrentstateandinputsymbolarehighlightedinyellow.目前状态和输入,用黄色高亮显示。
Wetraceitsexecution.我们追踪其执行。
SincetheinputsymbolisA,theTuringmachinefollowstheappropriatetransitionarrowleavingthecurrentstate-theonelabeledA:
X.TheTuringmachineoverwritestheinputsymbolwithanX,changesstatetothebottomrightstate,andmovesthetapeheadonepositiontotheleft(sincethenewstateislabeledwithL).扫描到当前输入是A,图灵机根据状态转移箭头匹配:
A:
X,图灵机将当前输入A改写为X。
带头从此位置左移一个位置,到达下一个状态(新的状态标识为L左移)。
TheillustrationbelowshowstheTuringmachineattheendofthisfirststep.下图为其上描述的第一步。
Sincetheinputsymbolisnow#,theTuringmachinefollowstheappropriatetransitionarrowleavingthecurrentstate--theonelabeled#:
1.当前单元格内容为:
#,图灵机根据状态转移箭头匹配:
#:
1,图灵机将当前#改写为1,带头从此位置右移一个位置,到达下一个状态(新的状态标识为R右移)。
下图Herearethecontentsofthetapeafterthenextseveralsteps.下图是接下来的几个步骤示意图:
循环直至OncealloftheAsareoverwrittenwithXs,theTuringmachineerasesalloftheXs(overwritingthemwith#s).所有的输入都被改写覆盖为X,图灵机除去所有的X(即用#覆盖),并到停机状态。
Whatitdoesandwhyitworks.TheTuringmachinedescribedaboveconvertsfromunarytobinary.灵机上文所述的转换,从一元至二元。
即即Thatis,iftheinputconsistsofnconsecutiveA's,thentheTuringmachineprintsthenumberninbinarytotheleftofsequenceofA's(andoverwritestheA'swithX's).即如果输入构成的N一连续的,那么图灵机打印数N在二元到左边的序列一的(和覆盖一的与X的)。
Intheexampleabove,theinputconsistsof6A'sandtheTuringmachinewritesthebinarynumber110tothetape.在上面的例子中,输入由6个字母A组成的串,图灵机将其改写为二进制数110到输入带上。
执行节结果图如下:
3图灵机功能实现程序结构剖析(八种常用图灵机模型示例)
3.1Binaryadder.二进数加法
BinaryAdder:
binaryadder.tur,模型如下图:
3.2Binarycounter.二进制计数器
BinaryCounter:
binarycounter.tur,模型图如下:
3.3Binarypalindrome.二元回文
BinaryPalindromeDecider:
binarypalin.tur,模型图如下:
3.4Equalnumberofa'sandb's.同等数量a和b的识别器
EqualNumberofa'sandb's:
equalab.tur,模型图如下:
3.53的倍数识别器
Multipleof3DeciderMultipleof3or7.3:
mult3.tur,模型图如下:
3.6Balancedparentheses.括号匹配器
ParenthesisMatcher:
paren.tur,模型图如下:
3.7含有偶数个a的Stringcompare.字符串识别器
ParityDecider:
parity.tur,模型图如下:
3.8Unary-to-binary.一元至二元转换器
Unary-to-BinaryConverter:
unarytobinary.tur,第二部分2.3中已分析过其功能,模型图如下:
Hex-to-binary.
英语原文:
Non-terminatingTuringmachines.Fromatheoreticalstandpoint,weareprimarilyconcernedwithmachinesthatperformfinitecomputationsandthenhalt.
更好的翻译建议
4TuringmachineimplementationinJava.图灵机执行代码结构剖析
WeencapsulateeachofthemainTuringmachinecomponents(tape,transition,control)usinggoodOOPprinciples.每一个主要图灵机组件(输入带,转换,控制状态)使用良好的面向对象的原则。
∙Thetape.ProgramTape.javaisanADTthatrepresentsanunboundedTuringmachinetape.输入带,Tape.java(类方法结构图如上左)
是代表无界图灵机的输入带。
Itsupportsthefollowingoperations:
movetapeheadleft,movetapeheadright,readthesymbolinthecurrentcell,andwriteasymboltothecurrentcell.它支持下列功能:
左移,右移带头,读取当前单元格中的字符,改写当前单元格的内容。
Toimplementit,weusetwostacks(onetostoreallofthesymbolstotheleftofthetapehead,andonetotheright).为实现上述功能,使用两个栈(一是存储所有左移的符号,二是存储所有右移的符号)。
为显示Toprintoutthecontentsofthetape,weprintoutthereverseofthefirststack,thecurrentelement,thenthesecondstack.输入带内容,首先将第一个栈中内容的逆向并将其显示,其次是当前元素,最后是第二个栈的内容。
∙状态,Vertex.java(类方法结构图如上右):
一个点代表图灵机的一个状态。
变量“name”是用于唯一标识状态的字符串,每个状态有一个名字和类型;“haltStatus”可以取五种值(左移,右移,停机,接受,或拒绝),标识带在进入一个状态时的移动方向,或标识停机状态。
“xpos”和“ypos”有0和1.0两者取值,用于标识图灵机图形化界面中点的中心位置(用高和宽即横纵坐标一起标识,(0,0)表示处在屏幕界面的左上方,(1.0,1.0)表示在右下方)。
Thestates.Eachstatehasanameandatype(halt,left,right,accept,orreject).
∙Ege,java(类方法结构图如上左):
包含图灵机图形的边的信息。
在图形化用户界面中,一条边是连接两个点的一条线,本程序中它代表两个状态之间的转换,转换条件会触发该次转换。
如果当前处于旧状态,带上同步标识旧标识,当前状态将转移至新状态并将新标识改写至当前带位置。
变量“curve”取值在-1.0和1.0之间,用于标识边的弯曲率,若取0,即边为一直线;取-1.0和1.0时,边都为一半圆弧线,正值时,边为逆时针方向从旧状态指向新状态,负值时,边为顺时针方向从新状态指向旧状态。
∙TuringIOProcessor.Java(类方法结构图如上右):
图灵机工作过程中读带时用到的一组方法的类
∙Machine.Java(类方法结构图如上左):
用于存储图灵机当前状态轨迹的类
∙TuringMachineArea.java(类方法结构图如上右):
将图灵机以图形化的形式显示出来,即描绘整个图灵机的图形化用户界面。
∙TuringMain.java(类方法结构图如上左):
用于图形化界面中组件、事件的协调驱动。
∙TuringTapeArea.java(类方法结构图如上右):
描绘和控制带的显示。
∙TuringMachine.Java:
包含主函数的Java应用程序,主要显示图形化界面的外框。
三总结与体会
1图灵机小结
图灵机实质上抽象出了我们平素进行机械式计算的核心规律,可形象的理解为“一个人+纸笔+一定的规则”进行机械运算。
这么个理论机器首先就指明了创建计算机的可能性,然而这还不够,如果为了某一个问题就去创建一个特定的图灵机的话效率就太低了。
图灵机理论的一个最美妙的结论就是存在“元图灵机(Universal Turing-Machine,直译应为一般图灵机/通用图灵机,然而“元图灵机”更精确地表达了其意思),所谓元图灵机其实就是把图灵机作为运算对象的图灵机,假设有一个元图灵机M,一个图灵机P以及P的输入数据D,那么将(P,D)喂给元图灵机M,M就能够吐出P(D)(即P在D上的结果)。
而这便是现在我们所用的计算机的始祖模型,其中M就好比我们的计算机(元图灵机),P则是程序(编码后的图灵机),D则是程序P的输入数据。
元图灵机的存在表明了我们可以用一台机器来解决所有图灵可计算(turing-computable)的问题——只要喂给它解决这个特定问题的图灵机编码(程序)以及问题的输入数据即可,该元图灵机就会模拟我们喂给它的那个图灵机P的行为,最终给出结果。
在本次练习中,可以看出图灵机可用于语言的识别,函数的计算,某种语言的产生。
由于图灵机的带子是可以向右无限延伸的,所以图灵机的存储空间和计算时间都是可无限制增加的。
因此,图灵机是一般算法概念的精确化,即任何算法均可由适当的图灵机模拟。
人们尚未发现一个直观可以计算的函数不能由图灵机来计算。
但在图灵机执行过程中,输入正确,结果会无限制的运行,不会停机。
查了一些资料才了解到涉及到了图灵机的停机问题:
图灵机根据机器的程序处理初始格局。
有的初始格局可能导致停机,有的则导致无限的格局序列。
停机问题是:
是否存在一个算法,对于任意给定的图灵机都能判定任意的初始格局是否会导致停机。
已经证明,这样的算法是不存在的,即停机问题是不可判定的。
可见看似万能的东西也有其弊端和不可预测性。
也许这时我们可以将人工智能中的“学习”方法应用于图灵机的开发过程中,以提高其模拟计算的能力。
2编程技术启示
---JavaGUI(AWT)生成图形化用户界面
抽象窗口工具包AWT(AbstractWindowToolkit)是API为Java程序提供的建立图形用户界面GUI(GraphicsUserInterface)工具集,AWT可用于Java的applet和applications中。
它支持图形用户界面编程的功能包括:
用户界面组件;事件处理模型;图形和图像工具,包括形状、颜色和字体类;布局管理器,可以进行灵活的窗口布局而与特定窗口的尺寸和屏幕分辨率无关;数据传送类,可以通过本地平台的剪贴板来进行剪切和粘贴。
1)事件:
用户对程序的某一种功能性操作。
Java中的事件主要有两种:
A.组件类事件componentEvent、ContainerEvent、WindowEvent、FocusEvent、PaintEvent、MouseEvent共六大类,
它们均是当组件的状态发生变化时产生。
B.动作类事件ActionEvent、TextEvent、AdjustmentEvent、ItemEvent共四类。
它们均对应用户的某一种功能性操作动作。
Java中的事件类都包含在JDK的Java.awt.event包中。
2)事件编程:
用户编程定义每个特定事件发生时程序应做出何种响应,并且这些响应代码会在对应的事件发生时由系统自动调用。
3)事件委托授权处理模型
①事件源:
产出事件的组件。
②监听器:
对组件所产生的事件作出具体响应的代吗,即事件产出与处理分别由两个不同类(它们可以分别放在不同的程序中)加以编程实现。
③事件处理机制:
AWT组件自身不编程处理相应的事件,面是交由事件监听器(它可以是组件所在的容器类或另外的Java程序类,只要它们实现了相关的事件监听器接口即可)处理(事件授权处理模型)。
④事件处理的包:
java.awt.event包,它提供AWT事件所需的类
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 图灵机 开发 说明 文档
![提示](https://static.bdocx.com/images/bang_tan.gif)