第二章 形式语言基础(2.pptVIP

编 译 原 理 Compiler Principles 南京邮电大学计算机学院 蒋凌云 jianglingyun@njupt.edu.cn 教材：《编译技术原理及其实现方法》王汝传 编著 第二章 形式语言基础知识 §2.1 引言 一、形式语言提出 二、语言描述方法 §2.2 用文法生成法对语言 进行描述 一、巴科斯范式 二、语法和语义 三、语法树 §2.3 形式语言基本概念和 术语 一、元语言 二、符号和符号串 三、产生式（规则） 四、文法 五、推导和归约 六、句型和句子 七、语言 §2.3 形式语言基本概念和术语 七、语言 设G［Z］为一文法,由该文法所产生的一切句子的集合称为由该文法 所定义的语言,记为L(G［Ｚ］)(或记为L(G)),即 L(G)={x|Z ?*x且x∈VT*} 有时我们称这样定义的语言为形式语言，以区别于自然语言。 上述公式包含两层意思： 语言是句子集合，是VT*一个子集合，即VT中行集合子集。 句子必须有该语言文法识别符推出。 例如：G[Z]=(VN,VT,P,S) VN={S} VT={0,1} P:{S