第二章（1）形式语言与自动机理论基础.pptVIP

* 例3:考虑字母表∑ ={a,b}上的符串集： A={abna | n=1} A的文法表示如下： G=（VN,VT, A, P） 其中：VN={ A, B } VT={ a , b } P={A ? aBa, B ? b, B ? Bb } G[A]： A ? aBa B ? b B ? Bb G[A]： A ? aBa B ? b | Bb 2.2 .1 文法的定义 * 1956年，著名的语言学家乔姆斯基（Noam (Chomsky）将文法分为四类，四类文法对应四种类型的语言。 0型文法（短语型文法） 如果对文法G中的任一产生式???不加任何限制，则称G为0型文法或短语型文法。其中，?、?是符号串。 2.2.2 文法的分类 2.2.2 文法的分类 * 1型文法（上下文相关文法 ） 如果对文法G中的任一产生式均限制为形如： ?A? ? ??? 其中A∈VN ，?，?∈(VT∪VN)*， ?∈(VT∪VN)*， 则称文法G为1型文法或上下文相关文法。 2.2.2 文法的分类 A ? ? ? * 2 型文法（又称上下文无关文法context-free Grammer CFG） 如果对文法G中的任一产生式均限制为形如： A ? ? 其中A∈VN , ?∈(VT∪VN)*， 则称G为2型文法或上下文无关文法。 例1：文法G: S ? aSb | ab L(G)={anbn|n≥1} 2.2.2 文法的分类 * 3型文法（又称线性文法、正则文法、正规文法） 如果对文法G中的任一产生式均限制为形如： A??B 或 A?? 其中： A，B∈VN , ?∈VT 则称文法G为3型文法。 上述形式的3型文法也称为右线性文法。 如果对文法G中的任一产生式均限制为形如： A?B? 或 A?? 其中： A，B∈VN, ?∈VT 这样的3型文法称为左线性文法。 2.2.2 文法的分类 * 四类文法之间的关系： 从0型到3型，对产生式的限制是逐步增强，而描述语言的能力是逐步减弱，其后一类都是前一类的子集。 四类文法之间的关系可以表示为: 0型 ? 1型 ?2 型 ? 3型 2.2.2 文法的分类 * 产生式限制越来越严 描述功能越来越强 2型文法 1型文法 0型文法 3型文法 2.2.2 文法的分类 * 在编译技术中通常用3型文法来描述高级程序设计语言的词法部分，2型文法，或上下文无关文法描述的程序设计语言的语法结构，比如描述算术表达式，描述各种语句等等。今后对“文法”一词如无特殊说明则均指上下文无关文法。 2.2.2 文法的分类 * 2.2.3 推导和归约 1.直接推导 若?? ?是文法G =（VN,VT, S, P）中的一条产生式，?、?∈(VT∪VN)*，若有符号串v, w满足 ： v = ??? , w = ??? 则称v（应用规则?? ?）直接推导出 w，或者说 w 是 v 的直接推导，记作： v ? w 。 又称w 直接归约到 v。 2.2.3 推导和归约 * 2.2.3 推导和归约 例：对于表达式文法G: E→E+E | E*E | (E) | i i + E*E i + E + E *E ? * 2.直接推导序列 如果存在： v = ?0 ? ?1, ?1 ? ?2, … , ?n-1 ? ?n = w (n≥1) 则说： v经过n (n＞0)步推导出w , 记作：v ?+ w。 若有v ?+ w，或v = w，则说v经过n (n≥0)步推导出w ，记作：v ? *w。即“?*”表示0步或多步直接推导。 推导的逆过程称为归约。 2.2.3 推导和归约 * * 符号串 * * 符号串 * * * * ＺＺＺ * * ＺＺＺ * 第二章 形式语言与自动机理论基础 主要内容： 语言 文法 有限自动机 正则表达式 * 自然语言（Natural Language）是人类在社会生活中发展起来的，用于日常相互交流的符号