形式语言基础.ppt

编译程序的设计原理与实现 如何让计算机 认识、理解 和 执行 高级程序设计语言 ？ 第 2 章 形式语言基础 (3) 2.1 形式语言是字符串集合 2.2 形式语言是由文法定义的 2.3 主要语法成分的定义 2.4 两类特性文法 2.5 文法变换方法 2.6 关于形式语言的分类问题 【内容提要】 ※ 上节课主要内容回顾： ⒈ 文法的运算：推导和归约(二者互为逆运算) ⑴ 推导 ： 3 两种特性文法1 递归文法 4 两种特性文法2 二义性文法 2.5 文法的等价变换 2.5.1 ? 文法的等价性 2.5.2 文法变换方法 在实际工作中，人们总是希望定义一种语言的文法尽可能地简单。另外，某些常用的语法分析技术也会对文法提出一定的要求或限制；为了适应上述要求，有时需要对文法进行必要的改写。当然改写后的文法要与原文法等价—通常称为文法变换。 这里重点介绍三类变换： 2.5.2 文法变换方法1 文法化简是指消除如下无用产生式： ⒈ 删除 A-A 形式的产生式(自定己)； ⒉ 删除不能从其推导出终结符串的产生式(不终结)； ⒊ 删除在推导中永不使用的产生式(不可用)。 2.5.2 文法变换方法1(续1) ※ 文法化简示例： 化简步骤： 2.5.2 文法变换方法2 Ⅱ 删除 ? 产生式 ※ 删除 ? 产生式示例： 【例2.17】G(S): S-aAbc|bS A-dABe|? ; B-A|b 2.5.2 文法变换方法3 ⒈ 必选项法（园括号法） 2.5.2 文法变换方法3(续1) ⒉ 可选项法（方括号法） 2.5.2 文法变换方法3(续2) ⒊ 重复可选项法（花括号法） 2.6 形式语言的分类 chomsky 把形式语言分为四类，分别由四类文法定义；四类文法的区别在于产生式的形式不同： 练习题： 【习题2.8】 解释下列词语： 递归文法， 二义性文法， 等价文法 ； 【习题2.9】 指出下述文法的文法类属： G1(S): S-aAbB | Bc | ? G2(S): S-aS|bA|c|? 【习题2.10】 化简下述文法： G(S): S-aSab|bAB ; A-bB|a ; B-aA|b C-abB|baA ; D-Cbc|abc ; 【习题2.11】删除下述文法的? 产生式： G(S): S-aBS|b ; B-cS|? 【习题2.12】消除下述文法的直接左递归： G(S): E-E+T|E-T|T 基本图形库 ※ 递归文法示例 【例2.15】 G(Z)： Z - aAbB | cZ A - bBc | ? B - BbAc |a ∵ Z - cZ ∴ 直接右递归性； B - BbAc ∴ 直接左递归性； A =bBc = bBbAcc 即 A =+ ?A? ∴ 具有递归性 ( ?≠? 且 ?≠? 又称为A具有自嵌套性) ∴ 可以统称文法G(Z)具有递归性。 * * ⑵ 归约 ： 文法的运算与主要语法成分的定义！ ⒉ 主要语法成分的定义 = + = + ? = . = . + = . + ? 句型，句子，语法树， 短语，简单短语，句柄 ※从语法树上看 句型(句子)、短语、简单短语和句柄： 直接推导( = ),加推导( ), 最左推导( ); 直接归约( ),加归约( ), 最左归约( ); 语法树的树叶全体--句型(句子)； 语法树的子树树叶全体—短语(简单短语)； 语法树的最左简单子树树叶全体— 句柄！ G2(S): S - b S | a --- 直接右递归文法。 设有文法：G(Z)=(VN,VT,Z,P) 【定义】 设 A∈VN，x, y∈(VN+VT)*，则; 若 A xAy，：称文法具有递归性; = + 特别： 若 A - A? ，称文法具有直接左递归性； A - ?A ，称文法具有直接右递归性。 ※ 递归文法是定义无限语言的工具（递归文法定义的语言有无限个句子）！！ 如：G1(S): S - S b | a ---