单词的描述工具 编辑原理.pdfVIP

3.2 词的描述工具 第 三 1.正规文法 元 多数程序设计语言的单词语法 都能用正规文法（3型文法）来描述 元 ～ 目词 例如：程序设计语言中的单词可用下列规则描述： 录 法 程序设计语言中的几类单词可用下述规则描述： 分 〈标识符〉→ l | l 〈字母数字〉 析 〈字母数字〉→ l|d |l 〈字母数字〉|d 〈字母数 〈无符号整数〉→ d |d 〈无符号整数〉 〈运算符〉→+ | - | * | / | =|…… 〈界符〉→，|；| ( | ) |…… 其中l表示a～z中的任何一英文字母， d表示0～9中的任一数字。 2.正规式 1.正规式的定义 正规式也称 则表达式,正规表达式也是用以描述单词符号的方便工具。 正规式和它所表示的正规集的递归定义。 定义（正规式和它所表示的正规集）： 设字母表为S，辅助字母表S`={F，e，|，·，*，(，)}。 1、 e和F都是S上的正规式，它们所表示的正规集分别为{e}和{ }； 2、任何a属于S，a是S上的一个正规式，它所表示的正规集为{a}； 3、假定e1和e2都是S上的正规式，它们所表示的正规集分别为L(e1)和L(e2)，那 ，(e1), e1? e2, e1 ·e2, e1*也都是正规式,它们所表示的正规集分别为L(e1), L(e1)VL(e2), L(e1)L (e2)和(L(e1))*。 4、仅由有限次使用上述三步骤而定义的表达式才是S上的正规式，仅由这些正规式所表示的集 合才是S上的正规集 2.正规式中的符号 规定算符的优先顺序为 “*”、 “·”、 “|” 连接符 “·”一般可省略不写。 “*”、 “·”和 “|” 都是左结合的。 例：令S= {a，b}， S上的正规式和相应的正规集的例子有： 正规式 正规集 a {a} a|b {a,b} ab {ab} (a|b)(a |b) {aa,ab,ba,bb} a * {e ,a,a, ……任意个a的串} (a|b)* {e ,a,b,aa,ab ……所有由a和b组成的串} (a |b)*(aa|bb)(a|b)* {S*上所有含有两个相继的a或两个相继的b组成的串} 例：设S={a，b，0，1} 正规式 正规集 （a|b)(a |b|0|1)* S上的 “标识符的全体 （0|1) (0|1) * S上的 “数”的全体 例：令S= {l，d}，则S上的正规式 r=l(l|d) *定义的正规集为: {l,ll,ld,ldd,……} 其中l代表字母,d代表数字, 正规式即是 字母(字母|数字)* 。 它表示的正规集中的每个元素的模式是 “字母打头的字母 数字串”,就是Pascal和多数程序设计语言允许的的标