编译基础形式的语言.pptVIP

第*章 编译基础---形式语言 推导的定义 若存在v ?w0 ?w1 ?... ?wn=w(n0) 则记为v =+ w，v推导出w，或w归约到v 例：G[E]： E→E+T|T T→T*F|F F→(E)|a 通过对产生式施加不同的限制，Chomsky将文法分为四种类型： 文法的类型 文法的类型 3型文法 G[S]： S→0A|1B|0 A→0A|1B|0S B→1B|1|0 G[I]： I → lT I → l T → lT T → dT T → l T → d 文法的类型 文法和语言 根据形式语言理论,文法和识别系统间有这样的关系 0型文法（短语结构文法）的能力相当于图灵机，可以表征任何递归可枚举集，而且任何0型语言都是递归可枚举的 1型文法（上下文有关文法）：产生式的形式为α1Aα2→α1βα2，即只有A出现在α1和α2的上下文中时，才允许β取代A。其识别系统是线性界限自动机。 2型文法（上下文无关文法CFG）：产生式的形式为A→β，β取代A时与A的上下文无关。其识别系统是不确定的下推自动机。 3型文法（正规文法RG）：产生的语言是有穷自动机（FA）所接受的集合 句型、推导 规范推导 规范句型 最左（最右）推导：在推导的任何一步α?β，其中α、β是句型，都是对α中的最左（右）非终结符进行替换 最右推导被称为规范推导。 由规范推导所得的句型称为规范句型 语法树 语法树---句型推导的直观表示 给定文法G=(VN,VT,P,S)，对于G的任何句型都能构造与之关联的语法树(推导树) 构造语法树 上下文无关文法的语法树的用处 用于描述上下文无关文法句型推导的直观方法 句型 i*i+i 的两个不同的最左推导： 例：G[E]: E → i E → E+E E → E*E E → (E) 二义文法 若一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义的或者，若一个文法存在某个句子有两个不同的最左（右）推导，则称这个文法是二义的 二义文法改造为无二义文法 G[E]: E → i G[E]：E → T|E+T E → E+E T → F|T*F E → E*E F → （E）|i E → (E) 规定优先顺序和结合律 如果产生上下文无关语言的每一个文法都是二义的，则说此语言是先天二义的。对于一个程序设计语言来说，常常希望它的文法是无二义的，因为希望对它的每个语句的分析是唯一的。 句型的分析 句型分析就是识别一个符号串是否为某文法的句型，是某个推导的构造过程。 句型的分析算法分类 分析算法可分为： 自上而下分析法：从文法的开始符号出发，反复使用文法的产生式，寻找与输入符号串匹配的推导。 两种方法反映了两种语法树的构造过程。 自上而下方法是从文法符号开始，将它做为语法树的根，向下逐步建立语法树，使语法树的结果正好是输入符号串 自上而下的语法分析 例：文法G：S → cAd A → ab A → a 识别输入串w=cabd是否为该文法的句子 自下而上的语法分析 例：文法G： S → cAd A → ab A → a 识别输入串w=cabd是否该文法的句子 ∈ ∈ 例：奇偶测试器 q0 0 q1 1 q1 0 1 自动机：Ｍ＝（Q，∑ ，δ ，q0，Z） 　Q＝｛ q0, q1} ∑ ={0,1} q0=q0 Z={q1} 映射函数： δ（ q０,０)= q０ δ（ q０,１)= q１ δ（ q1,０)= q１ δ（ q1,１)= q０ 例：０００１１０００１ 三、正规表达式与有穷自动机 关系：等价、交换 文法 G=（VN，VT，P，S）和 自动机 M=（Q，∑ ，δ ，q0，Z） 可转换为：Ｑ＝ VN∪｛Ｔ｝　Ｔ为终态 　　　　　　　　q0 ＝Ｓ　 　　 　　　　　　∑＝ VT 　　　　　　　　　　 　　　　　　　　Ｚ＝ ｛Ｔ｝ ｛Ｔ，S｝若Ｓ→ ε 映射函数： １、Ｐ： Ａ１ →aＡ2 , 则δ（ Ａ１,a)= A2 2、Ｐ： Ａ１ →a, 则δ（ Ａ１,a)= T 3、δ（ Ｔ,a)= φ 空动作 例：已知正规文法 Ｇ＝（