第2章文法和语言讲义.pptx

第2章 文法和语言 1 ? ? 本章目的 2 构造编译程序，需针对特定的程序语言，故需对被编译的程序语言本身做精确地描述。 为语言的语法（文法）描述寻求工具。工具要对程序设计语言给出精确无二义的语法描述。（严谨、简洁、易读）。 对于程序设计者而言，文法给出了语言的精确的语法规范说明。 程序设计语言描述 3 对语言结构的定义。 语法Syntax： 描述语言的含义。 语义Semantics： 从使用者角度描述语言。 语用Pragmatics： 如果不考虑语义和语用，即只从语法这一侧面来看语言，这种意义下的语言称作形式语言。 4 形式语言抽象地定义为一个数学系统。“形式”是指这样的事实：语言的所有规则只以符号串能出现的方式来陈述。 形式语言理论是对符号串集合的表示法、结构及其特性的研究，是程序设计语言语法分析研究的基础。 5 §2.1 字母表和符号串 §2.2 文法和语言的形式定义 §2.3 语法树和文法的二义性 §2.4 文法的类型 §2.1 字母表和符号串 6 7 每个程序设计语言都是一个“基本符号”串，设有一基本符号集，那么程序设计语言可看成是在这个基本符号集上定义的，按一定规则构成的一切基本符号串组成的集合。 为了给出语言的形式定义，首先学习一些基本概念和术语。 8 没有符号的符号串 。 （1）空符号串ε： 符号（元素）的非空有穷集合。 1. 字母表?： 由字母表?中的符号组成的任何有穷序列称为该字母表上的符号串。 2. 符号串： 例如： Σ={a,b} ε,a,b,aa,ab,aabba…都是?上的符号串。 9 删去符号串s尾部的零个或多于零个符号得到的符号串。 如：b是符号串banana的一个前缀。 （2）符号串s的头（前缀）： 删去符号串s头部的零个或多于零个符号得到的符号串。 如:nana是符号串banana的一个后缀。 符号串s的尾（后缀）： 10 从s中删去一个前缀和一个后缀得到的符号串。 如：ana是符号串banana的一个子串。 （3）符号串s的子串： 对于每个符号串s， s和ε两者都是符号串s的前缀，后缀和子串。 （4）符号串s的真前缀，真后缀，真子串 11 3.符号串的运算 符号串中符号的个数。符号串s的长度记为|s|。 ε的长度为0。 （1）符号串长度： 符号串x、y的连接,是把y的符号写在x的符号之后得到的符号串xy。 如 x=ab,y=cd ，则 xy=abcd 有εa = aε= a （2）连接： 12 例如：若集合A=?ab,cde? ，B = ?0,1?， 则AB=?ab0,ab1,cde0,cde1?。 14 例如：若集合A=?ab,cd? ，B = ?0,1?， 则AB=?ab , cd , 0 , 1?。 15 16 例：Σ={a,b} Σ*={ε,a,b,aa,ab,ba,bb,aaa,aab,…} Σ+={a,b,aa,ab,ba,bb,aaa,aab,…}  文法的直观概念 17 18 当我们表述一种语言时，无非是说明这种语言的句子，如果语言只含有有穷多个句子，则只需列出句子的有穷集就行了，但对于含有无穷句子的语言来讲，存在着如何给出它的有穷表示的问题。 以自然语言为例，人们无法列出全部句子，但是人们可以给出一些规则，用这些规则来说明(或者定义)句子的组成结构。 比如汉语句子可以是由主语后随谓语而成，构成谓语的是动词和直接宾语，以下是该句的构成规则： “我是大学生。”是一个汉语句子 19 ①〈句子〉→〈主语〉〈谓语〉 ②〈主语〉→〈代词〉｜〈名词〉 ③〈代词〉→ 我｜你｜他 ④〈名词〉→ 王明｜大学生｜工人｜英语 ⑤〈谓语〉→〈动词〉〈直接宾语〉 ⑥〈动词〉→ 是｜学习 ⑦〈直接宾语〉→〈代词〉｜〈名词〉 20 有了一组规则以后，按照如下方式导出句子：开始去找→左端的带有〈句子〉的规则并把它由→右端的符号串代替，这个动作表示成： 〈句子〉 ? 〈主语〉〈谓语〉， 然后在得到的串〈主语〉〈谓语〉中，选取〈主语〉或〈谓语〉，再用相应规则的→右端代替之。重复做下去。句子：“我是大学生”的全部动作过程是： 〈句子〉 ? 〈主语〉〈谓语〉 ? 〈代词〉〈谓语〉 ? 我〈谓