计算理论复习总结.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