孙老师的自动机讲稿7.pptVIP

第六章 上下文无关语言的性质 6.1 CFL的泵作用引理 6.1 CFL的泵作用引理 6.1 CFL的泵作用引理 6.1 CFL的泵作用引理 6.1 CFL的泵作用引理 6.1 CFL的泵作用引理 6.1 CFL的泵作用引理 6.1 CFL的泵作用引理 6.1 CFL的泵作用引理 6.1 CFL的泵作用引理 6.1 CFL的泵作用引理 6.1 CFL的泵作用引理 6.2 CFL的封闭性质 6.2 CFL的封闭性质 6.2 CFL的封闭性质 6.2 CFL的封闭性质 6.2 CFL的封闭性质 6.2 CFL的封闭性质 6.2 CFL的封闭性质 6.2 CFL的封闭性质 6.2 CFL的封闭性质 6.2 CFL的封闭性质 6.2 CFL的封闭性质 6.2 CFL的封闭性质 6.2 CFL的封闭性质 6.2 CFL的封闭性质 6.3 CFL的判定算法 6.3 CFL的判定算法 6.3 CFL的判定算法 6.3 CFL的判定算法 6.3 CFL的判定算法 6.3 CFL的判定算法 6.3 CFL的判定算法 6.3 CFL的判定算法 6.3 CFL的判定算法 6.3 CFL的判定算法 第七章 图灵机 7.2 图灵机模型 7.2 图灵机模型 7.2 图灵机模型 7.2 图灵机模型 7.3 可计算语言和可计算函数 7.3 可计算语言和可计算函数 7.3 可计算语言和可计算函数 7.3 可计算语言和可计算函数 7.3 可计算语言和可计算函数 7.4 图灵机的构造技术 7.4 图灵机的构造技术 7.4 图灵机的构造技术 7.4 图灵机的构造技术 7.4 图灵机的构造技术 7.4 图灵机的构造技术 7.4 图灵机的构造技术 7.4 图灵机的构造技术 7.4 图灵机的构造技术 7.4 图灵机的构造技术 7.4 图灵机的构造技术 7.4 图灵机的构造技术 7.4 图灵机的构造技术 7.4 图灵机的构造技术 7.4 图灵机的构造技术 7.4 图灵机的构造技术 7.5 图灵机的修改 7.5 图灵机的修改 7.5 图灵机的修改 7.5 图灵机的修改 7.5 图灵机的修改 7.5 图灵机的修改 7.5 图灵机的修改 7.5 图灵机的修改 7.5 图灵机的修改 7.5 图灵机的修改 7.5 图灵机的修改 M2有2K道如下图所示： 7.5 图灵机的修改 7.5 图灵机的修改 7.5 图灵机的修改 7.5 图灵机的修改 7.5 图灵机的修改 7.5 图灵机的修改 7.5 图灵机的修改 7.5 图灵机的修改 M2带 A -2 A -1 A0 A 1 A 2 … M1双道带 A 0 A 1 A -1 A 2 A -2 … … A11 A12 … A21 A22 … Ak1 Ak2 … 有限控制器 2K道 B B … X … A11 A12 … A21 A22 … ∶ X AK1 AK2 X B A,C A,C B A,C B B B S,A S,A S,C S,A,C S,A,C φ φ Vij 1 2 3 4 5 －i 1 2 3 4 5 | V j a1 a2 …… ai …… an B B 有限 控制器 q2表示已经找到了1，若在遇0之前遇到了B， 说明0n中n个0都已改成1，应当把n个1都改成 B，同时把由0m中0改的最右边一个B改成0，因 多改了一个。 Q0时遇1说明0m中m个0都改成B了，此时m真减n 应为0，故把余下的0和1都改成B，知道遇到B 进入q6结束。 0 1 2 0 1 1 0 B B ￥ 1 0 0 1 1 0 $ B…… * * S V1 V2 u v w x y 整个树的果为z，记从以V2为根的子树果为w，以V1为根的子树果应为vwx 而整个树的果可记为uvwxy=z 0 1 2 3 4 a b a b a b a b