编译原理课件compiler_ch23.pdfVIP

Ch2 形式语言自动机理论基础 2.3 正规式与自动机 2.3.1 正规式与正规集 定义2.31 (正规式与正规集) 设∑为有限字母表，在∑上的正规式与正规集可递 归定义如下： 1. ε和Ф是∑上的正规式，它们表示的正规集分别 为{ ε}和Ф； 2. 对任何a ∈∑, a是∑上的正规式,它的正规集为{a}； 3. 若r,s都是正规式, 它们的正规集分别为R和S , 则 (r|s)、(r·s)、(r)*也是正规式，它们分别表示的正 规集是：R ∪S，RS，R* 。 4. 有限次使用上述三条规则构成的表达式，称为∑上 的正规式，仅由这些正规式表示的集合为正规集。 Ch2 形式语言自动机理论基础 2.3 正规式与自动机 2.3.1 正规式与正规集 说明： 1. 正规式与相应的正规集是等价的，正规集给出了 相应正规式所描述的全部单词（句子）； 2. 正规式的运算结果是正规集； 3. 正规式不是集合，其运算结果正规集是集合。 Ф是特例。 注意： 1. 正规式运算优先级从高到低“ （）、*、•、| ” ； 2. 同级运算从左到右； Ch2 形式语言自动机理论基础 2.3 正规式与自动机 2.3.1 正规式与正规集 例2.32 ： 令 Σ { 0, 1 } 则0，1，ε和Ф是上的正规式 ； 正规式 正规集 0 | 1 { 0，1 } 0 • 1 { 01 } 1 • 0 { 10 } 0* { ε, 0, 00, 000, … } 1* { ε, 1, 11, 111, … } ( 0|1)0* { 0, 1,00,000,…,10,100,1000, … } ( 0|1)01 { 001, 101 } Ch2 形式语言自动机理论基础 2.3 正规式与自动机 2.3.1 正规式与正规集 例2.33 ： 令 Σ { A，B，0，1} V=( A | B)( A | B | 0 | 1)* L(V) ={ 标识符} V=( 0 | 1)( 0 | 1)* L(V) ={ 二进制数字串} 正规式r所表示的正规集R是字母表∑上的语言， 称为正则语言，用L(r)表示，即R=L(r) 。L(r) 中的元 素为字符串，称为L(r) 的句子。 若两个正规式r和s所表示的语言L(r)=L(s)，则称 r, s等价，记为r=s 。 例如，1(01)*=(10)*1 Ch2 形式语言自动机理论基础 2.3 正规式与自动机 2.3.1 正规式与正规集 例2.34 ： 设PASCAL语言子集有如下单词 ① BEGIN ② END ③ IF ④ THEN ⑤ ELSE ⑥ 标识符 ⑧ 无符号整常数 ⑨ ⑩ = ⑾ ⑿= ⒀ = ⒁ 正规式描述： 关键字 BEGIN | END | IF | T