郑州大学编译原理镇第2章.pptVIP

第二章 高级语言及其语法描述 概述程序语言的结构和主要的共同特征 介绍程序语言的语法描述方法 §2.1 程序语言的定义 2.1.1 语法 例如： 字符串 0.5*x+c 单词符号 语法规则 2.1.2 语义 2.1.3 程序 §2.2 高级语言的一般特性 高级语言的分类 程序结构 一个高级语言程序通常由若干子程序段（过程、函数）构造。许多语言还引入了类、程序包等更高级的结构。 二、Pascal 三、Ada 四、JAVA 数据类型与操作 语句与控制结构 二、语句 §2.3 程序语言的语法描述 本节介绍高级语言语法结构的形式化描述问题 上下文无关文法 例如：英文的语法规则 例如: 判断He gave me a book.是否为正确句子 方法二：利用规则进行推导。 上下文无关文法定义 上下文无关文法定义 若产生式的左部相同，则可以合并。 约定 例如：算术表达式的定义 一个上下文无关文法是如何定义一个语言呢? 例题 证明 i+5 是一个算术表达式 术语 术语 术语 例题2.2 例题2.3 例题2.4 例题2.5 最左推导和最右推导 最左推导: 2.3.2 语法分析树和二义性 例2.6 证明：任何右线性文法G都等价于仅含下面两种形式产生式的文法G’： 作业（2） P35-36 1. 称串?A?能直接推出???，即： ?A? ? ??? 仅当 A?? 是一个产生式。 2. 如果 ?1 ? ?2 ? …… ? ?n 则称从?1可推导出?n 3.用 ?1 ?n 表示从?1出发，经过一步或多步， 可推导出 ?n ? + 4. 用 ?1 ?n 表示从 ?1出发，经过0步或多步， 可推导出?n 即 ?1 ?n 意味着?1 = ?n 或 ?1 ?n 5. 若 S 是开始符号，且 S ? 则称 ? 是文法的一个句型 若 ? ∈ VT* ，则称 ? 为文法的一个句子。 ? * ? * ? + ? * 例题2.1 设文法G1如下，求所定义的语言？ S?bA A?a | aA 6.文法G所产生的句子的全体构成一个语言L(G) L(G)={ ? | S ? ? ∈ VT* } 分析：⑴ S = bA = ba ⑵ S = bA =baA=baaA=…….=baa…a 解：L(G1)={ ban | n0 } ? * 分析过程： A= aA =aaA=aaaA=……=a…a B = Bb =Bbb=Bbbb=…….=b…b S=AB=……=a…ab…b 文法G2: S ?AB A ?a | aA B ?b | Bb 求该文法定义的语言？ 解：G2定义的语言为： L(G2) = { ambn | m,n0 } 误解：文法G3: S ? AB A ? a|aA B ? b|bB 构造一个文法G3，使得 L(G3)={ anbn | n0 } 正解：文法G3: S ? aSb | ab 构造一个文法G4，使得 L(G4)={ anban | n≧0 } 正解：文法G4: S?aSa|b 误解：文法G4: S ? AbA A ?ε|aA 因为 S?AbA? bA ? baA ? baaA ?baa 构造一个文法G4，使得 L(G4)={ ambn | mn≧0 } 正解：文法G4: S?AB A?a|aA B?aBb|ε 下面两个推导都是正确的: (1) E+E ?E+i?i+i (2) E+E ?i+E?i+i 从一个句型到另一个句型的推导过程不是唯一的。 例如： E+E i+i 为了对句子的结构进行确定性的分析，往往只考虑最左