计算机编与译chapt4 .ppt

第四章 程序设计语言和编译程序 第一节 上下文无关文法 一. 文法 文法是描述语言的语法结构的形式规则,必须准确,易于理解,且描述能力强 1. 文法的形式定义 G=(VT,VN,S,P) 例 G0=(VT,VN,S,P): E→E+T|T T→T*F|F F→(E)|i 显然 VT ={+,*,(,),i} VN ={E,T,F} S=E P为上述产生式的集合 说明: ①?→?的读法, 其中? ?V*VNV*, ? ? V* ② ? → ? 1 ? → ? 2 . . . ? → ? n 2. 文法的分类 ①0型文法:产生式形如?→? ②1型文法:│α│=│β│或产生式形如αAβ→α?β (上下文有关文法) ③2型文法:产生式形如A→α (上下文无关文法) ④3型文法:产生式形如A→α或A→αB (正则文法,右线性文法) ??VT 3. 简化的上下文无关文法 ①不含形如A→A的有害规则 ②不含多余规则 即A?VN, 必有S ?αAβ 二. 文法产生的语言 1. 推导与归约 ①直接推导: αβ? ?α?? 即由产生式右边替换产生式左边 ②推导:α1 ? αn、α1 ? αn ③归约:推导的逆过程 举例: 已知G(E) E→E+E│E*E│(E)│i i+i*i的推导过程 E ?E+E ?E+E*E ?E+E*i ?E+i*i ?i+i*i E ?E+E ? i+E ?i+E*E ?i+i*E ?i+i*i E ?E*E ?E*i ?E+E*i ?E+i*i ?i+i*i 2. 句型和句子 设文法G=(VT,VN,S,P), 若S ?α, α?V*, 则称α为文法G的一个句型。 若上述α ?VT，则称α是一个句子，即只含终结符的句型是一个句子。 3. 文法产生的语言 文法G=(VT,VN,S,P)的句子的全体, 称为由文法G产生的语言, 记为L(G), 即 L(G)={α│S ? α?α ?VT } G2(I): I→L│LS S→T│ST T→L│D L→a│b│. . .│z D→0│1│2│ . . .│9 G3(S): S→aS│aP P→bP│bQ Q→cQ│c L(G3)={aibjck│i,j,k?1} G4(S): S→aSPQ│abQ QP→PQ bP→bb bQ→bc cQ→cc L(G4)={ aibici│i ?1} S?ai-1S(PQ)i-1 (i-1次使用第一个产生式) ?aibQ(PQ)i-1 (使用第二个产生式) ?aib(PQ)i-1Q (i-1次使用第三个产生式) ?aib2(QP)i-2Q2 (使用第四个产生式) ?aib3(QP)i-3Q3 (i-2次使用第三个产生式) ?…… ?aibiQi ?aibicQi-1 (使用第五个产生式) ?aibici (i-1次使用第三个产生式) ①文法的重要特性:用有限规则描述无穷语言 ②文法的等价:两个文法G和G’,如果有L(G)=L(G’),则称G和G’等价 4．短语和句柄 ①短语:设αβ?是上下文无关文法G的一个句型, 如果有S ? αA?, 并且A ? β,则称β是句型αβ?关于非终结符A的一个短语, 或称β是句型αβ?的一个短语。 ②直接短语（简单短语）：A ? β ③句柄：一个句型的最左直接短语。 例: G0(E) E→E+T|T T→T*F|F F→(E)|i 求E+T*F的短语、直接短语、句柄 ④素短语：含有终结符的短语，并且它的真子串不具有这种