编译原理第二章浅析.ppt

定义：如果一个文法存在某个句子对应两棵不同的语法树，或者有两个不同的最左（右）推导，则称这个文法是二义的。 G(E)： E ? i|E+E|E*E|(E) 是二义文法。 语言的二义性：一个语言是二义性的，如果对它不存在无二义性的文法。 可能存在G和G’，一个为二义的，一个为无二义的。但L(G)=L(G’) 二义性问题是不可判定问题，即不存在一个算法，它能在有限步骤内，确切地判定一个文法是否是二义的。 可以找到一组无二义文法的充分条件。 二义文法： G(E)： E ? i|E+E|E*E|(E) 表达式 ?项|表达式+项 项 ? 因子 | 项*因子 因子 ? (表达式) | i 无二义文法： G(E)：E ? T | E+T T ? F | T*F F ? (E) | i E T F ) ( E E T + T F i F T * F i i E ?T ?F ?(E) ?(E+T) ?(T+T) ?(T*F+T) ?(F*F+T) ?(i*F+T) ?(i*i+T) ?(i*i+F) ?(i*i+i) 考虑句子(i*i+i) 描述程序设计语言时，对于上下文无关文法的限制 ： 1 不含P?P形式的产生式 2 每个非终结符P必须有用处 即： 2.3.3 形式语言鸟瞰 Chomsky于1956年建立形式语言体系，他把文法分成四种类型：0，1，2，3型。 与上下文无关文法一样，它们都由四部分组成，但对产生式的限制有所不同。 0型(短语文法)： 产生式形如： ? ? ? 其中：?? (VT ? VN)*且至少含有一个非终结符；?? (VT ? VN)* 1型(上下文有关文法)： 产生式形如： ? ? ? 其中：|?| ? |?|，仅 S?? 例外。 2型(上下文无关文法)： 产生式形如： A ? ? 其中：A? VN；?? (VT ? VN)*。 3型(正规文法)： 产生式形如：A ??B 或A ?? 其中： ??VT*；A，B?VN 产生式形如：A ?B? 或A ?? 其中： ??VT*；A，B?VN 右线性文法 左线性文法 四种类型描述能力比较 0型 1型 2型 3型 * 程序设计语言(10)Alan?J.?Perlis?(1966)?--?ALGOLEdsger?Wybe?Dijkstra?(1972)?--?ALGOLJohn?W.?Backus?(1977)?--?FORTRANKenneth?Eugene?Iverson?(1979)?--?APL程序语言Niklaus?Wirth?(1984)?--?PASCALJohn?Cocke?(1987)?--?RISC??编译优化Ole-Johan?Dahl，Kristen?Nygaard?(2001)?--?Simula语言和面向对象概念Alan?Kay(2003)?--?SmallTalk语言和面向对象程序设计Peter?Naur(2005)?--?ALGOL60以及编译设计 形式语言,?程序语言语义?(4)Robert?W.?Floyd?(1978)?--?编程语言语义，自动程序验证C.?Antony?R.?Hoare?(1980)?--?Hoare?Logic,?CSPRobin?Milner?(1991)?--?LCF，ML，CCS，PI-calculusAmir?Pnueli?(1996)?--?时序逻辑和系统验证 * 国防科技大学计算机系602教研室 第二章 高级语言及其语法描述 常用的高级语言 FORTRAN 数值计算 COBOL 事务处理 PASCAL 结构程序设计 ADA 大型程序、嵌入式实时系统 PROLOG 逻辑程序设计 ALGOL 算法语言 C/C++ 系统程序设计 Java Internet程序设计 与机器语言或汇编语言比较，高级语言的优点： 较接近于数学语言和工程语言，比较直观、自然和易于理解; 便于验证其正确性，易于改错; 编写效率高; 易于移植. 2.3 程序语言的语法描述 几个概念: 考虑一个有穷 字母表∑ 字符集 其中每一个元素称为一个字符 ∑上的字(也叫字符串) 是指由∑中的字符所构成的一个有穷序列 不包含任何字符的序列称为空字，记为ε 用∑*表示∑上的所有字的全体,包含空字ε 例如: 设 ∑={a， b}，则 ∑*={ε,a,b,aa,ab,ba,bb,aaa,...} ?表示不含任何元素的空集。 ε、{}和{ε}区别： ε是一个空字，是集合中的一个元素； {}是一个空集合，即? ； {ε