第2章 形式语言基本知识.pptVIP

第2章　形式语言的基本知识;2.1 字母表和符号串的基本概念 2.2 文法和语言的形式定义 2.3 句型的分析 2.4 文法和语言的分类 2.5 PL/0编译程序概述 ;字母表：符号的非空有限集 例：?={0，1} ;符号串的前缀和后缀: 从符号串s的尾部删去若干个(包括0个)符号之后所余下的部分称为s的前缀;符号串的运算;符号串自身连接n次得到的符号串sn 定义为 ss…ss ，包括n个s，称为符号串的幂运算 ;设A、B为符号串集合，则A和B的乘积定义为：AB＝{ xy |x∈A,y∈B};有符号串集合A，定义A0 ={ε}, A1=A, A2=AA, A3=AAA,…… An＝An-1A=AAn-1 ，n0;设A是符号串集合，定义 A＋＝ A1 ∪ A2 ∪ A3 ∪……∪ An ∪…… 称为集合A的正闭包。 A*＝ A0 ∪A＋ 称为集合A的闭包。;Σ的闭包?* 表示?上的一切符号串（包括ε）组成的集合 Σ的正闭包?+ 表示?上的除ε外的所有符号串组成的集合;若A为某语言的字母表 A＝{a,b,…,0,1,…,9, +,－,×,_/, ( , ), =… if, else,for...} B为单词集 B ={if, else,for,……,标识符,常量,……} 则B ? A* 。 语言的句子是定义在B上的符号串。 若令C为句子集合，则C ? B * , 程序? C;语言是由句子组成的集合，是由一组符号所构成的集合 字母表?上的一个语言是?上的一些符号串的集合 字母表?上的每个语言是?*的一个子集 ;2.2　文法和语言的形式定义 ;; 例：有一句子：“我是大学生” 。这是一个在语法、语义上都正确定句子，句子的结构（称为语法结构）是由它的语法决定的 。在本例中它为“主谓结构”。; 1.语法规则：我们通过建立一组规则，来描述句子的语法结构。 规定用“::=”表示“由……组成”。;2.由规则推导句子：有了一组规则之后，可以按照一定的方式 用它们去推导或产生句子。 推导方法：从一个要识别的符号开始推导，即用相应规则的 右部来替代规则的左部，每次仅用一条规则去进行推导。;句子 = 主语谓语;例：有一英语句子：The big elephant ate the peanut. 句子::=主语谓语 主语::=冠词形容词名词 冠词 ::=the 形容词::=big 名词::=elephant 谓语::=动词宾语 动词::=ate 宾语::=冠词名词 名词 ::=peanut;句子 = 主语谓语;上述推导可写成句子 = the big elephant ate the peanut;文法G[S]=（VN，VT，P，S） VN ：非终结符号集 VT ：终结符号集 P： 产生式或规则的集合 S： 开始符号（识别符号） S∈ VN ，S至少要在 一条规则中作为左部出现;G=(VT , VN, S, P)，其中: VN={表达式} VT={+,*,(,),i} S=〈表达式〉 P={〈表达式〉→〈表达式〉+〈表达式〉 〈表达式〉→〈表达式〉*〈表达式〉 〈表达式〉→(〈表达式〉) 〈表达式〉→i };几点说明：;有些产生式具有相同的左部，可以和在一起;G[S]： S→L|SL|SD L→a|b|…|z D→0|1|…|9;例：无符号整数的文法： G[无符号整数] 无符号整数 → 数字串 数字串 → 数字串 数字 | 数字 数字 →0 | 1 | 2 | 3 | …… | 9;说明：;文法的表示方法;推导的形式定义;S=SD, 使用规则S→SD，其中γ=δ=ε； SD=LD,使用规则S→L，其中γ=ε,δ=D； LD=aD,使用规则L→a，其中γ=ε,δ=D； aD=a1, 使用规则D→1，其中γ=a,δ=ε。 ;无符号整数 数字串 数字串 数字 数字数字 1 数字 1 0;如果存在直接推导序列： x ? y0 ? y1 ? y2…yn=y 则称这个序列是一个从x至y的长度为n（n0）的推导，或称y归约到x，记作x y。 若有x y，或x=y，则记作x y。;