第二章 文法和语言的基本知识007

短语：E+F, F 简单短语：F 句柄：F 素短语： E+F 最左素短语： E+F
编译原理
例: 文法G[E] E→E+T|T 【例】求句型T+T*F+i的短语、简单短语、句柄、素短语、 T→T*F|F 最左素短语 F→(E)|i
短语：T+T*F+i, T+T*F, T,T*F,i 简单短语：T,T*F,i 句柄：T 素短语：T*F和i（因为T不包含终结符, T+T*F+i和T+T*F包含其他素短语） 最左素短语：T*F
E E + T F i
E
T
+
T
T * F
2015年2月20日
编译原理
2.6
文法和语言的分类
形式语言(乔姆斯基)：通过抽象，对语言进行形式化描述 用一组数学符号和规则来描述的语言称为形式语言
*的任何子集称作上的形式语言
由文法定义语言
L（G[S]）={α | α ∈VT*,S α }
文法和语言分类：0型、1型、2型、3型 这几类文法的差别在于对产生式施加不同的限制。
T
2015年2月20日
编译原理
课堂练习：分别求句型E＋i、E+F的短语、简单短语、句柄、素短语、最左 素短语
E E + T F i 短语：E+i, i 简单短语： i 句柄：i 素短语：i 最左素短语：i
2015年2月20日
E E + T F
例: 文法G[E] E→E+T|T T→T*F|F F→(E)|i
称为上下文敏感或上下文有关。也即只有在α 、 β这样的 上下文中才能把A改写为γ
1型语言：L1
2015年2月20日
编译原理
例：1型（上下文有关）文法 G[S]：
S→aSBE S→aBE BE→bE aB→ab bB→bb bE→be eE→ee
2015年2月20日
编译原理
该文法产生的语言为
L(G[S])={x|x是由n个01或10组成的二进制数字串，n≥1}
2015年2月20日
编译原理
例：0型 文法G[S]： S→ACaB Ca→aaC CB→DB aB→Ba CB→E aD→Da AD→AC aE→Ea AE→ε
编译原理
2015年2月20日
1型文法 ： P： αAβ ::= αγβ 其中 A∈VN，α，β ∈V*， γT
2015年2月20日
编译原理
素短语
素短语是一个短语,它至少包含有一个终结符号,并且除它自身以 外不再包含其他素短语.其中最左边的素短语称为最左素短语。 E E E + T + T F i
短语：T+T+i, T+T, T, i 简单短语：T, i 句柄：T 素短语： T+T和i 最左素短语： T+T
第二章 文法和语言的基本知识
本章主要介绍形式语言理论中的一些最 基本的概念和基础知识，它是学习以后各章 节的基础。
2015年2月20日
编译原理
求句型T+T+i的句柄
E E + T
例: 文法G[E] E::=E+T|T T::=T*F|F F::=(E)|i T F i
短语：T+T+i, T+T, T, i 简单短语：T, i
2015年2月20日 编译原理
0型：
P： α ::=β 其中α∈V*且至少含有一个非终结符，β∈V*
0型文法称为无约束短语结构文法。规则的左部和右部都可以是符号 串，一个短语可以产生另一个短语。
0型语言：L0
2015年2月20日
编译原理
0型文法 G[S]: S→ABS|AB AB→BA A→0 B→1