[计算机软件及应用]编译原理课件Chapter 2.pptVIP

第三章 文法和语言 3.1 语言和 的直观概念 3.1 语言和 的直观概念 文法是描述语法的形式化工具。 3.1 语言和 的直观概念 文法是描述语法的形式化工具。 3.2 文法和语言的形式定义 只有有限个句子的语言称为有穷语言，否则 称为无穷语言。绝大多数语言是无穷的。要用有 穷的规则描述任一语言。 例：以下是用集合方式描述的三个语言： L1 = { ab, ba, aa, bb } L2 = { ambn | m,n=1 } 其中am=aa…a, bn类似 L3 = { anbncn | n=0 } 3.2.1 符号串及其运算 （ 1 ）字母表──符号的非空有穷集合。用V或∑表示。 例：V = { a, b } ∑ = { a, b, c } V1 = { a, b, c, …, z } 英语小写字母表 V2 = { book, pencil, pen, paper } 也是字母表（单词表） （２）符号串──字母表中的符号按一定 顺序组成的任一有穷序列，简称串或者字。 例：设V = { a, b, c }，则V上的符号串有： a, b, c, aa, ab, ac, ba, bb, bc, ca, cb, cc, abc, acb, … 设x是一个符号串，其长度记作| x |，即 是x串中所含符号的个数。长度为０的串称 为空串，记作ε。 例：| a | = 1, | abca | = 4, |ε| = 0 （３）符号串的连接 设x = abc, y = fgh是两个符号串，则 x和y的联结记作: xy = abcfgh 也是一个符号串。这是一种隐式运算， 没有运算符。 设z = xy是符号串，则称x是z的头，y是z的尾。 若y非空，则x是z的真（固有）头或真前缀。 若x非空，则y是z的真（固有）尾或真后缀。 例: 设z = abc, 则 （４）符号串集合的乘积（利用串的联结定义） 凡A,B是符号串集合，A和B的乘积定义为 AB = { xy | x∈A, y∈B } 例：设A = { a, b }, B = { c, d } , 则有 AB = （５）符号串和符号串集合的方幂（利用串的连接定义和串集的乘积定义） 凡x是符号串，有x0=ε,x1 = x,x2 = xx,…, xn = xxn-1 = xn-1x (n0) 凡A是符号串集合，有A0 = {ε}, A1 = A, A2 = AA, …, An = AAn-1 (n0) 例：设A = { a, b }, 则 （６）符号串集合的正闭包和星闭包 凡A是符号串集合，则 A的正闭包定义为：A+=A1∪A2∪…∪An∪… A的星闭包定义为：A*={ε}∪A+ =A0 ∪A+ 例：设A = { a } 则 A+ = A* = 3.2.2 文法的形式定义 （１）形式文法 　定义3.1 文法G是一个四元组：G = ( VN, VT, P, S )，其中： VN为非终结符的有穷集合。其中非终结符也称为语法成分或语法单元，它可分解为若干非终结符或终结符。 VT为终结符的有穷集合。终结符是基本符号，不能再分解。其中，VN和VT不含公共的元素，即VN∩VT = Ф。 通常，V=VN∪VT称为字母表或字汇表。 P为产生式（或规则式）有穷集合。 产生式形如：x→y　　 其中，x∈V*VNV*，称为产生式的左部；y∈V*，称为产生式的右部。 S为文法的开始符号，S∈VN ，至少要在一条产生式的左部出现。 例：设文法G = ( VN, VT, P, S )，其中 VN ={句子，主语，谓语，名词，动词，直接宾语} VT ={王鸣， 大学生，是，学习} P ={ 句子→主语谓语 ， 主语→名词， 名词→王鸣 | 研究生， 谓语→动词 直接宾语 ， 动词→是 | 学习， 直接宾语→名词} S=句子 例：文法G可描述如下， G[句子]：句子→主语谓语 主语→名词 名词→王鸣 | 研究生 谓语→动词直接宾语 动词→是 | 学习