第四篇程序语言的设计.pptVIP

第四章 程序语言的设计 第一节 语言的定义 语言＝语法＋语义 语法:用以构造程序及其成分的一组规则 的集合 语义:用以规定语法正确的程序或其成分的含义的一组规则的集合 一.语法 1.几个术语 ①字母表:语言允许使用字符的集合,其元素称为字符 ②符号:由字符组成的有限串（字符串） ③字汇表:由符号组成的集合，其元素称为字 ④词法规则:规定什么样的字符串可以构成语言的有效符号 ⑤语法规则:确定一个符号序列是否为一个句子,并提供句子的结构（什么样的符号序列是合法的） 2. 生成的观点 ①一个简单英语句子的描述 I/Students study/run. ②文法:语言的一个完整的语法描述,记为(N,T,P,S) 句子→主语谓语 主语→I|Students 谓语→study|run ③语言:所有句子的集合 ④”标识符”和”表达式”的定义(递归定义) (注意递归的结束条件) 标识符 标识符→字母 标识符→标识符字母 标识符→标识符数字 字母→A|B|…|X|Y|Z|a|b|…|x|y|z 数字→0|1|2|3|4|5|6|7|8|9 表达式 表达式→标识符 表达式→(表达式) 表达式→表达式运算符表达式 运算符→+|-|*|/ 3.识别的观点 用语法图来定义给定的语言 ①语法图的构造 N→?1|?2|…|?n对应一个语法图  终结符x 非终结符N N→?1|?2|…|?n  ②识别原则:若一个终结符序列是合法的，那么,必须从语法图的入口边通过语法图而到达出口边，而且在通过的过程中,恰恰能识别该终结符序列。 Ⅰ.终结符框 Ⅱ.非终结符框 Ⅲ.分支、回溯 参见图4-6、图4-7、图4-8、图4-9 ③语言:语法图能识别的所有终结符序列的集合。 4.语法描述的基本用途 ①表达语言设计者的意图和设计目标; ②指导语言的使用者如何写一个正确的程序； ③指导语言的实现者如何编写一个语法检查程序来识别所有合法的程序。 二.语义 例：大象吃花生 Elephants eat peanuts. 1.何谓语义? 定义语言合法句子的含义，即句子的作用和意义。 例：if(ab)max=a;else max=b; 2. GAM的结构 指令指针+代码存储器C +数据存储器D 举例:若懂汉语,可以将任何外语以汉语解释；亦即理解了汉语则理解了外语. 第二节 文 法 一. 文法的定义 文法是描述语言的语法结构的形式规则,必须准确,易于理解,且描述能力强 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*，V＝VT ?VN ② ? → ? 1 ? → ? 2 . . . ? → ? n ③约定：用英文大写字母表示非终结符；小写字母表示终结符；希腊小写字母表示串 2. 文法的分类 ①0型文法:产生式形如?→? ②1型文法:│α│=│β│（S→?例外）或产生式形如αAβ→α?β，? ?V + (上下文有关文法) ③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+