计算机编译原理课件4.pptVIP

2.1.1 文法的形式定义 G=(VT，VN ， S ， P) VT为终结符的非空有限集； VN为非终结符的非空有限集； S是文法的开始符号， S∈VN ； P为产生式的非空有限集。 产生式是一个有序偶对(?，?)，记为： ?→? ?和?是由终结符、非终结符组成的符号串，但?至少应含有一个非终结符。即： ? ? V*VN V* ? ? V* 产生式的简化 ? → ?1 ? → ?2 … ? → ?n 简化为： ? → ?1 | ?2 |…|?n 文法的表示 描述文法，直接给出产生式集合即可。 例如，算术表达式文法G(E) E→ E+T | T T → T*F | F F → (E) | i 2.1.2 文法的分类 (1)无限制文法（0型文法） 产生式为?→?，??V*VNV*, ??V* (2)上下文有关文法（1型文法） 产生式为?A?→???，A?VN，?、??V*，??V+ (3)上下文无关文法（2型文法） 产生式为A→? ，A?VN， ??V* (4)正则文法（3型文法） 产生式为A→?或A→?B， ??VT*，B?VN 2.2 文法产生的语言 2.2.1 推导与归约 (1) 直接推导：wα? ?wβ? 即由产生式右边替换产生式左边 (2) 推导：α1 ?*αn、α1 ?+αn E → E+E│E*E│(