1-计算理论总结.docVIP

一、有限状态机 1 给出一有限状态机，回答其起始状态，接受状态，接受的字符串，等等。 假设字母表是{0,1}，构造能够识别包含字符串001的所有字符串自动机DFA。（例7） 设Σ={0}，设计识别0k，其中k是2或3的倍数的NFA。（例10） 根据正则语言的封闭性，由简单的有限状态机构造复杂的有限状态机。（难点） 2 DFA，NFA与正则表达式的等价关系（证明），以及它们的相互转换（必考）。 求与下图左图NFA等价的DFA（例11）。求下面右图DFA对应的正则表达式（例14）P46 3 泵引理（必考） 证明B={0n1n|n≥0}不是正则语言。同理，证明回文（ww）的非正则性。 4 “两个正则语言等价”判断 二、上下文无关文法 1 由表达式写上下文文法（必考）；或判断某一字符串w能否由某一上下文文法产生。 构造得到{0n1n|n≥0}∪{1n|0n n≥0}的文法。（例4、例5、例1） 2 语法分析树。 乔姆斯基范式。 3 构造PDA。（必考） 构造识别{wwR|w∈{0,1}*}的PDA。（例8、例9、例10） 识别{0n1n|n≥0}的PDA。（例11） 4 泵引理。 证明anbncn不是上下文无关。（例14） 三、图灵机 首先要搞清楚几个定义：图灵机、图灵可识别、判定器、图灵可判定。 掌握如何描述一个图灵机（TM），看懂PPT上例1和例3即可。 例1(构造语言为L={0n1n|n=1}的TM) 基本思路： 从最左侧开始，进入以下循环 循环 将0改成X，然后向右移动直到到达1； 将1改成Y，然后向左移动直到发现某个X； 对于X右侧的0重复以上操作； 1 _(q0, 0) = (q1,X,R) 将0改成X 2 _(q1, 0) = (q1, 0,R) 向右找1 3 _(q1, Y ) = (q1, Y,R) 向右找1 4 _(q1, 1) = (q2, Y,L) 将1改成Y，返回 5 _(q2, Y ) = (q2, Y,L) 6 _(q2,X) = (q0,X,R) 遇X右移，进入状态q0及(1)循环 7 _(q2, 0) = (q2, 0,L) 向左找X后面的0 8 _(q0, Y ) = (q3, Y,R) 0已全改?X后遇到Y，进入q3 9 _(q3, Y ) = (q3, Y,R) 向右找 10 _(q3, ) = (q4, , 0) 0,1个数相当，接受并停机 拒绝： _(q3, 1) = (qreject, 1, 0)1的个数比0的个数多，拒绝 _(q3, 0) = (qreject, 0, 0)1后面还有0，拒绝 _(q1, ) = (qreject, , 0)0的个数比1的个数多，拒绝 考虑初始格局?q00011： q00011 ` Xq1011 ` X0q111 ` Xq20Y 1 ` q2X0Y 1 ` Xq00Y 1 ` XXq1Y 1 ` XXY q11 ` XXq2Y Y ` Xq2XY Y ` XXq0Y Y ` XXY q3Y ` XXY Y q3 ` XXY Y q4 吴考虑初始格局?q00010: q00010 ` Xq1010 ` X0q110 ` Xq20Y 0 ` q2X0Y 0 ` Xq00Y 0 ` XXq1Y 0 ` XXY q10 ` XXY 0q1 吴吴 例3(判定A={02n|n=0}的TM) 基本思路： 从最左侧开始，进入以下循环 循环 将0改成X，然后向右移动直到到达1； 将1改成Y，然后向左移动直到发现某个X； 对于X右侧的0重复以上操作； 四、可判定性语言/规约 首先：ADFA, ANFA, AREX, EDFA, EQDFA, ACFG, ECFG这些都是可判定语言。这个虽然不考，但应该知道。 其次：ATM, ETM, HALTTM，EQTM是不可判定的，其证明过程要掌握。 定理7（ATM是可识别不可判定的） 可识别的证明。 设置通用图灵机U，对于输入M,w执行： 1对于输入w，模拟M; 2若M进入接受状态，则接受； 如果进入拒绝状态，则拒绝。 不可判定性的证明。 假设ATM是可判定的，H为其判定其。即对于输入M,w 若M接受w,则H接受M,w； 若M不接受w,则H拒绝M,w； 即 图灵机D的构造：对于输入的图灵机M的描述M, 执行 若M接受M,则拒绝 若M不接受M,则接受； 即 考虑D（D）: 定理10（HALTTM是不可判定的） 证明：假设TM R判定HALTTM，则构造TM S如e： 对于输入M,w，S执行 1 对于输入M,w执行TM R； 2 如果R拒绝，则拒绝；否则 1 在w上模拟M，直至其停机 2 如果M接受，则接受，否则拒绝。 则TM S是判定ATM的图灵机，矛盾。 定理11（ETM是不可判定的）