计算理论02_正则语言介绍.ppt

第二讲课程 Regular Expressions (Def. 1.26 中文：定义1.26 ) ep64 cp39 Regular Expressions 正则表达式 (Def. 1.26 中文：定义1.26 ) ep64 cp38 Thm 1.28: RL ~ RE ep66 cp40（读一下） Thm 1.28: RL ~ RE 给机造表达式ep66 cp40（读一下） Generalized NFA 给机造表达式 ep70-73 , cp41-42 Example GNFA 与ep70图稍有不同 Characteristics of GNFA’s ? Proof Idea of Lemma c2.32 给机造表达式, ep69, cp41 DFA M ? Equivalent GNFA M’给机造表达式 ep73 cp42 Remove Internal state of GNFA给机造表达式 ep73 Proof Lemma 1.32 给机造表达式 ep69 Regular Languages = Regular Expressions ep74 cp45 Nonregular Languages §1.4 ep 77 将讨论 Pumping 定理 Repeating DFA Paths ep79 cp48 Repeating DFA Paths ep79 cp48 Pumping Lemma (Thm 1.37) ep78 Formal Proof of Pumping Lemma ep78 证明细节，自学 Formal Proof of Pumping Lemma ep78证明细节，自学 Pumping 0n1n (Ex. c2.38) 证明它不是RL ep80, cp49 证明 F = { ww | w?{0,1}* }不是RL Ex. c2.40， ep81，cp50 Intersecting Regular LanguagesEx1.39 ep80, cp49 (注意我们先讲例c2.40, 后讲 例c2.39 Pumping Down 求证 E = { 0i1j | ij }非正则Exc 2.42 ep81, cp51 计算理论 wbfeng@staff.edu.shu.cn Chapter 1: RL = Regular Languages, nonregular languages RL pumping lemma Chapter 2: Context-Free Languages (CFLs) 递归法下定义，适合本身是递归结构的对象 例 N! 或记为 F(N) 定义为 F(0)=1; 递归基础 （程序终止条件） F(N)=N*F(N-1) 当 N = 1 //递归 (减1）结构 Int Factor(int n) { if (n0) printf(“error”); if n==0 return 1; //无此语句，会导致error else return n*Factor(n-1); //通常用栈结构实现 } 如第1,2句均无，则死循环，称为 图灵机不停机， 递归法下定义，适合本身是递归结构的对象，构造性的 Given an alphabet ?, R is a regular expression if R = a, with a?? R = ? 递归基础 R = ? R = (R1?R2), with R1 and R2 regular expressions R = (R1?R2), with R1 and R2 regular expressions R = (R1*), with R1 a regular expression 递归结构，增加 一个运算符号 的 构造方法 Thm 1.28 L is RL ? ? there exists RE E such that L=E 通常 L={ ..|….} E形如 (a+b)C+(d.g)* (无穷) 集合表达式 有限字母 有限运算 构造，可计算 We need to prove both ways: 左边? ?右边 If a language is described by a regular expression,then it is regular (Lemma 1.29)上次实际上已证 左边? 右