有限自动机理论CH6.ppt

第六章 图灵机 接收能力最强的自动机 图灵机(即TuringM--TM)。 由A.Turing于1936年提出。 TM是可计算性的数学模型 研究可计算性(可计算的特点是 有穷、离散、机械执行、停机)。 为计算机的发展奠定了理论基础。 图灵机可以模拟现代的计算机的计算能力。 使用图灵机可以解决计算机程序的可计算问题。 图灵机的构造技术类似于计算机的编程(设计指令)技术。 6.1 图灵机的基本模型 6.1.1 图灵机的定义 图灵机的物理模型 一个有限状态控制器(FSC) 一个外部的存储设备 可以向右扩展的无限长度带 带上具有左端点，使用“┣”表示 图灵机直接扫描输入带上左端点右边的第一个符号。 带分解为单元，每个单元可以为空(B)或存放字母表上的字母符号 有限状态控制器通过一个读/写头与带进行耦合。 带的右边用B标记带的右期间。 在某个时刻，有限状态控制器处于某个状态，读/写头将扫描带上的一个单元 依照状态和扫描到的带上符号，图灵机将有一个动作如下： 有限状态控制器的状态进行改变； 把刚刚扫描过的单元上符号擦除掉，并印刷上一个新的符号（有可能印刷上与原来符号相同的符号）； 读/写头向左或者向右移动一个单元；或者读/写头不移动。 五元式描述动作 q，x，q′，W，{L，R，N} 其中：x，W∈∑ ′ 图灵机处于状态q，扫描到符号x，则 状态变换为q′，印刷上新的符号W， 读/写头向左、或向右 或不移动。 例6-1 用TM接收 语言{a2n |n≥0} 图灵机带上符号串为： ┣aaa…aaaB 图灵机初始处于状态even，将要扫描第一个a，则 even，a，odd，B(或a)，R odd，a，even，B，R odd，B，odd，B，R //可省略 even，B，accept，B，R(或N) 若带上a的个数为偶数， 则图灵机经过多个动作后，处于接收状态accept； 若带上a的个数为奇数， 根据odd B odd B R ，图灵机将不会停机，可以永远继续下去 这与其它的自动机不同，即图灵机可能会导致永不停止的计算。 例6-2 语言为{a2n|n0} start，a，odd，B，R odd，a，even，B，R even，a，odd，B，R odd，B，odd，B，R even，B，accept，B，R 定义6-1 图灵机是一个五元式 TM=(Q，∑， q0， qα，δ) Q是有限状态集合； ∑是带上字母表的有限集合 ∑′=∑∪{B}∪A；∑的增广集合，即输入带上符号的集合 q0∈Q，是开始状态 qα∈Q，是接收状态 δ:Q×∑′→Q×∑′×{L,R,N} 对于任意的(q，x)∈Q×∑′ δ(q，x)=( q′，W，{L，R，N}) 将δ记为一般形式： q，x，q′，W，{L，R，N} 或 图灵机是一个七元组 TM = (Q， ?， ?， ?， q0，B， F) F ? Q 终止状态集合； ? 是带符号集合； B ? ?称为空白符； ?: Q ? ? ? Q ? ? ? {R, L,N} 定义6-2 图灵机的格局ID w1qw2∈ w1是读/写头左边带上的符号串 q是图灵机当前所处的状态 w2是还未扫描到的带上的符号串 图灵机在格局w1qw2时停机 若w1qw2=w1qxw对于 无定义。 定义6-3 格局的转换 若M在w1qw2上不停机，则如下定义格局的转换： 某个时刻，图灵机处于格局w1qw2=r1yqxr2，其中： r1y=w1，(若w1=ε，则y=B， r1=ε) xr2=w2， (若w2=ε，则r2=ε，x=B ) 使用 = 表示图灵机的格局转换 若δ（q，x）=( q′，x′，L)，则 r1yqxr2= 若δ（q，x）=( q′，x′，N)，则 r1yqxr2= 若δ（q，x）=( q′，x′，R)，则 r1yqxr2= 使用=+代表格局的多次变换 使用=*代表格局的任意次变换 定义6-4 图灵机M=（Q，∑， q0， qα，δ）在字母表∑上接收的语言为L(M)，则 L(M)={w|存在w1，w2∈(∑′)* 有 =* } 定义6-5 完全的图灵机 如果图灵机对于一切输入串都能够停机----完全的图灵机。 完全的图灵机接收的语言L称为递归语言(图灵可判定语言) 6.1