计算理论个人总结.docxVIP

第一章: 法。如果二元关系R满足下述3个条件： R是自反的，即对每一个文?xRjc. R是对称的，即对每一个工和y,刃约当且仅当 R是传递的即对每一个Z.，和乂，工心和yR=鑼涵hR— 则R是一个等价关系° 1.7对下列毎一小題，给出一个満足捋定条件的关系。 自反的和对称的，但不是传递的。 自反的和传递的，但不是对称的。 c?对称的和传递的，但不迪自反的。 答案： A： |x-y|=5 B： x=y C： 第二章：正则语言 有穷自动机是描述能力、资源极其有限的计算机的模型 有穷自动机是一个五元组(Q刀Qqo,F),其中 ■状态集：Q是一个有穷集合； ■字母表：刀是一个有穷集合； ■转移函数：d ： Q X 刀一 Q,6(i,a) = y； ■起始状态q()€ Q; ■接受状态集FQQ； ■ L(M)={胡 ■ L(M)= {胡3至少有一个1且最后的1后 面有偶数个0} ■考虑该有限自动机是否接受 字符串110L1010； ■若A是机器A/接受的全体字 符串集合，则称月是的语 言，记为厶(A/) = Ao也称 为M识别/接爻A ； ■如果不接受任何字符串， 则其仍然识别一个语言，即 空语言0; 例2 (考虑M = ({如“2},{0,1}0如，“2})) L(Af) = {创3以7结束} 例3 (考虑A/ = ({qi，?},{OJ}0q“ {qi})) 注意：由于起始状态也是接受状态，因此空串s € L(M) L(Af) = {cu|cu = ￡ 或以0 结束} 确定型有穷自动机(DFA)与非确定性有穷自动机(NFA)的区别: ■ DFA中每个状态对于字母表中的每个符号恰有一个转移箭头射 出； ■ NFA中每个状态对于字母表中的每个符号可能有0、1或多个转 移箭头射出； DFA中转移箭头的标号是字母表中的符号； NFA中转移箭头的标号可以是字母表中的符号或￡,且从一个状 态可能有多个标有￡的转移箭头； 例］6 （证明E = {Onln|n 0}不是正则语言） 证： 假设￡是正则的，而p是其相应的泵长度。考虑字符 串s = € B,而s = xyz为在泵引理下的分段，则 ■若y = 0f,0 f p,则切yz ￡ B ■若y = V,0 t p,则①则z宅B ■若g = O/1l/2,f1,t2 0, 9^xyyz ￡ B 2.3 DFA M 的形式描述为（in，?2? /3，d，95】，I, d \, 6, 73, 其中 5 在 表2-3中给出°试画出这台机器的状态图。 2-3 Af 的 5 u a 41 s 92 9i q、 q、 q? ?4 gj q、 机 ?s b?血血至少含有3个1} iw\w含有子串010】，即对某个工和y, W = x0101j Iwfw的长度不小于3,且第3个符号为0| U-lw从0开始且为奇长度.或者从1开始且为偶长度} I w I w不含子串1101 i wIu?的长度不趙过5} fwlw是除11和111之外的任何字符审} \w\w的奇位臂均为11 \w\iv至少含两个0,且至多含一个1} k?匕01 L iwlw 有偶数个0或恰好两个1} m-空集 n.除空串之外的所有字符串 2.4画岀识别下述语言的DFA的状态图。 a）{w | w从1开始以0结束} b){w | w至少有3个1} c) {w | w含有子串0101} d) {w | w d) {w | w的长度不小于3,且第三个符号为0} 1 0 0, CP e) {w | w从0开始且为奇长度，或从1开始且为偶长度} n f) {w | w不含子串110} g) {w | w的长度不超过5} h){w | w是除11和111以外的任何字符} i){w | w的奇位置均为1} 0 0/ Cw j) {w I w至少含有2个0,且至多含有1个1} 0 0 0 0 k) {￡,0} 1 I) {w | w含有偶数个0,或恰好两个1} m)空集 n)除空串外的所有字符串 确定出有穷白动机G b a?b b） 图2-37练习2」2中的两台NFA 把下图中的两台非确定型有穷自动机转换成2.12使用定理2.19中给出的构造, 等价的确定型有穷自动机。 把下图中的两台非确定型有穷自动机转换成 2.17利用泵引理讦明下述诸言不是正则的。 b? A2 = {www | wE I a f A | * }? c. = U2 I c （在这里，/ 衣示一串 2” 个 a。） 2.17利用泵引理证明下述语言不是正则的。 n n n a. Ai={0 1 2 | n0}o 证明：假设A】是正则的。设p是泵引理给出的关于A】的泵长度。 令 S=0PlP2 VS是Al的一个成员且S的长度大于P，所以泵引理保证S可被分成3段 S二xyz且满足泵引理的3个条