清华大学-编译原理第四章幻灯片.pptVIP

* [本章小结] 1.本章出现的概念较多,应重点理解文法,推导,句型句子及语言的定义等概念.语法分析有关内容在后面章节会详细讨论. 2.文法作为程序语言的语法的描述工具,它用规则只能陈述的是:语言的所有句子以什麽样的符号串能出现.请记住文法和语言的形式定义中的 “形式”的含义—只涉及语言的语法不涉及语言的语义. 3.本章内容是形式语言理论的一部分.形式语言理论是对符号串集合的表示法、结构及其特性的研究。是程序设计语言语法分析研究的基础。 [本章小结] 考察本章知识点最典型的题目是 1.已知文法G[A]，写出它定义的语言描述 如：G[A]: A → 0B|1C B → 1|1A|0BB C → 0|0A|1CC 答案:G[A]定义的语言由0、1符号串组成，串中0和1的个数相同. 2.给出语言描述，构造文法. 如：构造一文法,其定义的语言是由算符+, *, (,)和运算对象a构成的算术表达式的集合. 答案1: G[E] E→E+T|T T→T*F|F F→(E)|a 答案2: G[E] E→E+E|E*E|(E)|a * 相关术语的回顾（英文版） 上下文无关文法 A context free grammar(grammar for short) consists of terminals ,nont