第三章词法分析 第2章主要内容回顾.pptVIP

第三章：词法分析 第2章主要内容回顾 文法的定义：Ｇ=(ＶT，ＶN，Ｐ，Ｓ) 推导与归约： 最左推导（左句型、最右归约） 最右推导（右句型、规范句型、规范（最左）归约） 语法树 二义性（定义） 文法的分类 0型文法（短语结构文法）、1型文法（上下文有关文法）、2型文法（上下文无关文法）、3型文法（正则文法） 第三章 词法分析 单词的描述工具（正规表达式与正规集） 状态转换图与基本符号的识别 有限自动机 词法分析器的设计与实现 3.1 单词的描述工具 正规表达式与正规集的定义：正规表达式也称正规式，是用以描述单词符号的方便工具，也是表示正规集的工具。 正规表达式的定义：P52。设∑是一个字母表， ⑴ Φ是∑上的RE，L(Φ)=Φ； ⑵ ε是∑上的RE，L(ε)={ε}； ⑶ 对于?a∈∑，a是RE，L(a)={a}； ⑷如果r和s是RE，L(r)=R,L(s)=S，则： r与s的“或” (r|s)是RE，L(r|s)=R∪S； r与s的“连接” (rs)是RE，L(rs)=RS； r的克林闭包(r*)是RE，L(r*)=R*。 ⑸ 只有满足⑴、⑵、⑶、⑷的才是RE。 3.1 单词的描述工具 一个由正规表达式表示的语言称为一个正规集。 例3-1，令∑={a,b},则∑上的正规式和正规集的例子有： 正规式 正规集 a {a} a|b {a,b} ab {ab} (a|b)(a|b) {aa,ab,ba,bb} a* {ε,a,aa,aaa…}任意个a组成的串的集合 a|a*b {a,b,ab,aab,aaab…}含有符号串a和包括零个或多于零个的a后跟一个b的所有符号串形成的集合。 (a|b)* {ε,a,b,aa,ab,ba,bb,aaa…}所有含a和b的符号串组成的集合。 3.1 单词的描述工具 两个正规表达式的等价：P54。如果两个正规表达式表示同样的语言，则称这两个正规式是等价的。如(a|b)与(b|a),(a|b)* 与 (a*b*)*都是等价的。 正规表达式的运算优先级和代数规律: P54 ①*高于“连接” 和| ， “连接” 高于 | ②| 具有交换律、结合律 ③“连接” 具有结合律、和对|的分配律 ④( ) 指定优先关系.意义清楚时，括号可以省略 ⑤ ε是“连接”运算的恒等元素。 程序设计语言中的单词都能用正规表达式来定义。比如，用l来代表字母，d代表数字， ∑={l,d},则r1=l(l|d)*表示的是标识符，r2=dd*则定义了无符号整数， r3=d*(.dd*| ε)(e(+|-| ε)dd*| ε)表示的是无符号数。 3.1 单词的描述工具 正规式与正规文法 ∑上的正规式到正规文法G转换（特指右线性正规文法）： 方法：①令其中的VT= ∑； ②对于任何正规式r，选择S，生成S→r，然后按以下三条规则对S→r进行分解直到每个产生式最多含有一个终结符为止。并将S定为G的开始符号； ③若x和y都是正规式，对形如A→xy的产生式重写为：A→ xB和B→ y两产生式，其中B是新选择的非终结符； ④对形如A→ x*y的产生式，重写为：A→ xA和A→ y ⑤对形如A→ x|y的产生式，重写为：A→ x和A→ y 3.1 单词的描述工具 例3-2，将r=a(a|d)*转换成相应的正规文法： 解：令S为文法的开始符号，首先形成S→a(a|d)*然后对其进行分解，得到S→aA和A→(a|d)*,再对后条规则重写为：A→（a|d)A和A→ε，最终形成的文法G为： S→aA