第6章半图厄系统.ppt

半图厄系统;现在考虑处理符号串的一种系统，这部分的内容和形式语言理论有密切联系。 每个半图厄（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*)。;例如：产生式集1 ab?aa2 ba?bb3 bb?ab组成一个半图厄处理。;例如，下面是一个图厄处理 1 ab?aa 2 ba?bb 3 aa?ab 4 bb?ba;定义6.1.3　（一半）图厄系统是（一半）图厄处理加上一个字A，A称为这个系统的公理或初始字。 （半）图厄系统可记做?＝（P，A） 其中P是（半）图厄处理，A是公理。由公理A可推出的符号W称之为定理。因为有A?A，因此公理是一个定理。;6.2用半图厄系统模拟图灵机;设有图灵机M有一状况 S1S2S0S1S2S3 q4 ;图灵机的工作过程也就是状况的变化过程，也就是波斯特字的变化过程。 于是可以想像用半图厄系统来模拟这个过程。我们将用? (M)表示所要造的半图厄系统的处理(即产生式表)。具体方法如下：;(3)对于形如qiSjLql的图灵机指令，在?(M)中放入产生式 SmqiSj?qlSmSj (m=0,1,?,k) hqiSj?hqlS0Sj ;(5)在?(M)中加上以下2k+3个产生式 qSi?q (i=0,1,…,k) qh?q?h Siq??q? (i=0,1,…,k);例如，当前的字为hS1S2S5q2S2S4h并且在M中没有以q2S2为头的四元组，则下面的推导过程如下： ;由上述构造不难证明：对任意post字?，?(M)中最多有一产生式可用于?，于是，?(M)是单演的。;它对应于post字是： hq11111…11h x+1个1;由?(M)产生式的逆组成的半图厄处理称为?(M)。M和?(M)及?(M)之间有下面关系。;6.3半图厄系统和半可计算集合;新加的三个产生式用于擦去post字hq111111…1h中的hq1和h。;定义6.3.1 设M为任一图灵机，则用?(M)表示使M停机的所有X的集合。;再由?(M)的最后三个产生式得 Hq1 h 从而有;定义6.3.3 用N(?)表示半图厄系统?所产生的x?整数X的集合，即N(?)={x| x??T(?)} ?=(?(M),hq?h),其中X是整数。;于是由前面的定理有X??(M)??T(?) ?X?N(?);6.4判定问题;前面几节???绍了一些半可计算理论，这一节将给出一些典型的不可判定问题。 具体研究Turing机(程序，P-T程序)的停机问题、半图厄系统的判定问题和字问题以及正则系统的判定问题和字问题。;(2)Turing机的停机问题II：对已给的Turing机M，判定对输入X ，Turing机M是否停机。(其算法与M有关，但其判定谓词只有一个变元X);(5)正则系统的判定问题：对给定的正则系统?，判定任给的一字?是不是?的定理，即有A ? (A－公理) ;定理6.4.1 Turing机的停机问题I是不可判定的。;定理6.4.6 由两个任意的cfg所产生语言是否相交是不可判定的。