计算机数学基础第八九章.pptVIP

计算机科学的数学基础 第八章 短语结构语言与上下文有关语言  短语结构语言?图灵机 定理8.1：设G 为PSG，则有TM M使L(M) = L(G)。 证明：构造一个两带的不确定TM M识别L(G)。 一条带是输入带，另一条带用来存放G的句型?，最初的?为开始符号S，然后反复地执行： (1) 在?中不确定地选择一个位置i。 (2) 不确定地选择G的一个生成式? ? ?。 (3) 若?出现在?中，以位置i开始，用?替换?。 (4) M把产生的句型与输入相比较。若匹配，则M接受它并停机。若不匹配，则返回步骤(1)。 图灵机?短语结构语言 定理8.2：若L是被TM M接受的语言，则有PSG G，使得L(G) = L。 证明：令M = (Q, ?, ?, ?, B, F)。 构造文法G，对?*中的某个字的表示，G不确定地产生一个二元组序列，在其一个分量上面模拟M的动作。若M接受，则G由另一个分量转换成该字的终极符号串；否则永远不会产生终极符号串。 形式上，设G = (V, ?, P, A1)， 其中，V = ((? ? {?}) ? ?) ? {A1, A2, A3}，P为： 图灵机?短语结构语言 ⑴A1 ? q0A2； ⑵对?a? ?，A2 ? [a, a]A2 ；⑶A2 ? A3 ⑷A3 ? [?, B]A3 ；⑸A3 ? ? ⑹对?a? ??{?}，?q? Q，?