《编译原理文法》PPT课件.ppt

《《编译原理文法》PPT课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第三章文法和语言本章的目的是为语言的语法描述寻求工具通过这个工具，可以达到以下目的：工具要对源语言（程序设计语言）给出精确无二义的语法描述,要求严谨、简洁、易读根据语言文法的特点来指导语法分析的过程。从描述语言的文法可以自动构造出可用的语法分析程序。制导语义翻译1文法的直观概念和语言概述表述一种语言时，无非是说明这种语言的句子，如果语言只含有有穷多个句子，则只需列出句子的有穷集就行了，对于含有无穷句子的语言，存在着如何给出它的有穷表示的问题。自然语言无法列出全部句子，但可以给出一些规则，用这些规则来说明(或者定义)句子的组成结构，用EBNF来表示这种

2、句子的构成规则：2EBNF表示句子的构成规则〈句子〉∷=〈主语〉〈谓语〉〈主语〉∷=〈代词〉｜〈名词〉〈代词〉∷=我｜你｜他〈名词〉∷=王明｜大学生｜工人｜英语〈谓语〉∷=〈动词〉〈直接宾语〉〈动词〉∷=是｜学习〈直接宾语〉∷=〈代词〉｜〈名词〉3导出句子首先去找∷=左端的带有〈句子〉的规则并把它由∷=右端的符号串代替，这个动作表示成：〈句子〉〈主语〉〈谓语〉然后在得到的串〈主语〉〈谓语〉中，选取〈主语〉或〈谓语〉，再用相应规则的∷=右端代替之。比如，选取了〈主语〉，并采用规则〈主语〉∷=〈代词〉，那么得到：〈主语〉〈谓语〉〈代词〉〈谓语〉，重复

3、做下去，即可得到一个句子。【例】句子：“我是大学生”的全部动作过程是：〈句子〉〈主语〉〈谓语〉〈代词〉〈谓语〉我〈谓语〉我〈动词〉〈直接宾语〉我是〈直接宾语〉我是〈名词〉我是大学生4句子构成规则“我是大学生”的构成符合上述规则，而“我大学生是”不符合上述规则。这些规则成为判别句子结构合法与否的依据，这些规则是一种元语言，用它描述汉语。这里仅仅涉及汉语句子的结构描述。其中一种起描述作用的元语言称为文法。5语言概述语言是由句子组成的集合，是由一组符号所构成的集合。汉语－所有符合汉语语法的句子的全体英语－所有符合英语语法的句子的全体程

4、序设计语言－所有该语言的程序的全体每个句子构成的规律研究语言每个句子的含义每个句子和使用者的关系6语言概述研究程序设计语言每个程序构成的规律每个程序的含义每个程序和使用者的关系语言研究的三个方面语法（Syntax）：表示构成语言句子的各个记号之间的组合规律语义（Semantics）：表示各个记号的特定含义。（各个记号和记号所表示的对象之间的关系）语用（Pragmatics）：表示在各个记号所出现的行为中，它们的来源、使用和影响。7语言概述每种语言具有两个可识别的特性，即语言的形式和该形式相关联的意义。语言的实例若在语法上是正确的，其相关联的意义可以从

5、两个观点来看，其一是该句子的创立者所想要表示的意义，另一是接收者所检验到的意义。这两个意义并非总是一样的，前者称为语言的语义，后者是其语用意义。幽默、双关语和谜语就是利用这两方面意义间的差异。8形式语言如果不考虑语义和语用，即只从语法这一侧面来看语言，这种意义下的语言称作形式语言。形式语言抽象地定义为一个数学系统。“形式”是指这样的事实：语言的所有规则只以什麽符号串能出现的方式来陈述。形式语言理论是对符号串集合的表示法、结构及其特性的研究。是程序设计语言语法分析研究的基础。9语言的一般描述程序设计语言是由一切程序所组成的集合，而程序是由保留字，字母和

6、数字这样一些基本符号所组成，从字面上看，每个程序都是一个“基本符号”串，设有一基本符号集，那么程序设计语言可看成是在这个基本符号集上定义的、按一定规则构成的一切基本符号串组成的集合.10定义和记号符号：可以相互区别的记号（元素）。字母是符号，数字也是符号。字母表∑：符号（元素）的非空有穷集合。因此字母表也称为符号集。不同的语言可以有不同的字母表，例如汉语的字母表中包括汉字、数字及标点符号等。C语言的字母表是由字母、数字、若干专用符号。11定义和记号符号串：由字母表中的符号组成的任何有穷序列称为符号串.例如001110是字母表=｛0，1｝上的符号串.

7、字母表A=｛a,b,c｝上的一些符号串有：a,b,c,ab,aaca。在符号串中，符号的顺序是很重要的，符号串ab就不同于ba,abca和aabc也不同。可以使用字母表示符号串，如x=STR表示“x是由符号S、T和R，并按此顺序组成的符号串”。符号串的长度：如果某符号串x中有m个符号，则称其长度为m，表示为｜x｜=m，如001110的长度是6。空符号串：即不包含任何符号的符号串，用ε表示，其长度为0，即｜ε｜=0。12符号串的运算符号串的头、尾、固有头和固有尾：如果z=xy是一符号串，那么x是z的头，y是z的尾，如果x是非空的，那么y是固有尾；同样如

8、果y非空，那么x是固有头。例:设z=abc,那么z的头是ε,a,ab,abc,除abc外，其它都是固有头；z