第章 编译基础---四形式语言.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）所接受的集合 句型、推