课件--半图厄系统.pptVIP

半图厄系统 现在考虑处理符号串的一种系统，这部分的内容和形式语言理论有密切联系。 每个半图厄（Semi-Thue）系统都定义在某字母表D＝｛a1,a2,…,an｝上。 D上的字是指字母表中符号的有穷序列。 定义6.1.1字母表D上的半图厄处理是下面的产生式集合：?i??i￣ (i=1,2,?,m) 其中?i和?i￣是D上的字，D上所有字的集合记为D*(?i， ?i￣?D*)。 6.1半图厄系统 例如：产生式集1 ab?aa2 ba?bb3 bb?ab组成一个半图厄处理。 半图厄处理给出了符号串的推导方法。例如对符号串aba 我们有 aba?1aaa aba?2abb?1aab?1aaa aba?2abb?3aab?1aaa 若有串?1,?2,?,?n(n?1)，使得 ?1??2????n 则记为?1?*?n（现在假定此式只对初始字成立） 例如，下面是一个图厄处理 1 ab?aa 2 ba?bb 3 aa?ab 4 bb?ba 定义6.1.2，设?是半图厄处理，若产生式???￣在?中，则产生式?￣??也定在?中，那么称半图厄处理?为图厄处理。 定义6.1.3　（一半）图厄系统是（一半）图厄处理加上一个字A，A称为这个系统的公理或初始字。 （半）图厄系统可记做?＝（P，A） 其中P是（半）图厄处理，A是公理。由公理A可推出的符号W称之为定理。因为有A?A，因此公理是一个定理。 定义6.1.4　说半图厄系统是单演的，若对系统产生的每个字W最多有一字U使得W?U（当然可以没有一个字U） 一个半图厄系统?＝（P，A）也可能无穷地进行替换，例如 ?= ((a?aa),a) 6.2用半图厄系统模拟图灵机 我们已知四元组形式的图灵机有三种不同类型的四元组指令： 1 qiSjSKql 2 qiSjRql 3 qiSjLql 下面我们来用半图厄系统模拟给定图灵机M。即对给定图灵机M构造和M密切相关的半图厄系统*。 *的字母表是: 1 图灵机M的字母表{S0,S1,…,Sk} 2 图灵机M的状态符{q1,q2,…,qN} 3 再加三个新符{h,q,q?} 设有图灵机M有一状况 S1S2S0S1S2S3 q4  则可把它表示成如下的一个字 hS1S2S0q4S1S2S3h 这种字称之为波斯特字。 图灵机的工作过程也就是状况的变化过程，也就是波斯特字的变化过程。 于是可以想像用半图厄系统来模拟这个过程。我们将用? (M)表示所要造的半图厄系统的处理(即产生式表)。具体方法如下： (1)对于形如qiSjSKql的图灵机指令，在?(M)中放入产生式 qiSj?qlSk (2)对于形如qiSjRql的图灵机指令，在?(M)中放入产生式 qiSjSm?SjqlSm (m=0,1,?,k) qiSjh?SjqlS0h 其中S0是空白符。 (3)对于形如qiSjLql的图灵机指令，在?(M)中放入产生式 SmqiSj?qlSmSj (m=0,1,?,k) hqiSj?hqlS0Sj (4)对每个“非法”的qiSj，在?(M)中加上产生式，qiSj?qSj 在四元组中不出现，这表示“停机” (5)在?(M)中加上以下2k+3个产生式 qSi?q (i=0,1,…,k) qh?q?h Siq??q? (i=0,1,…,k) 这里前k+1个产生式的作用是擦去q右边的一切符号(h除外)，后k+1个产生式的作用是擦去q?左边的一切符号(h除外)。 ?(M)最后推导出hq?h字，这时再也不能用产生式推导了。 例如，当前的字为hS1S2S5q2S2S4h并且在M中没有以q2S2为头的四元组，则下面的推导过程如下： ?hS1S2S5q2S2S4h ? hS1S2S5qS2S4h ? hS1S2S5qS4h ? hS1S2S5qh ? hS1S2S5q?h ……………… ?hq?h 由上述构造不难证明：对任意post字?，?(M)中最多有一产生式可用于?，于是，?(M)是单演的。 Turing机的初始带是 B111…11B q1 x+1个1 它对应于post字是： hq11111…11h x+1个1 由?(M)产生式的逆组成的半图厄处理称为?(M)。M和?(M)及?(M)之间有下面关系。 引理 1 TM M对输入x￣停机?hq1h hq?h 2 TM M对x￣停机?hq?h hq1x￣h。 6.3半图厄系统和半可计算集合 这一节研究半图厄系统和半可计算集之间的关系。设A是一个字母表，则通过编码可使A上的每个字对应一整数。因此，字母的集合可视为整数集。这样半可计算概念亦可用于字的集合。 给定Turnig机M，则可以构造半图厄处理?(M)和?(M)。下面再定义半