文法和语言的基本知识.pptVIP

* 设A={a,;},则A≡⊙∷=∞∝!≠＝##12◆,.┍┎ 2.3.3 语言的形式定义 例如 设有文法G[E]=({E,T,F},{i,+,*,(,)},P,E) 对 i+i*i 有如下直接推导序列: 我们可记为 其中P为：E→E+T | T T→T*F | F F→(E) | i E ?E+T ?T+T ?F+T ?i+T ?i+T*F ?i+F*F ?i+i*F ?i+i*i E?i+i*i + 2.3.3 语言的形式定义 3．广义推导 我们有： ?0??n表示从?0出发，经0步或若干步， 可推导出?n。 * 也就是说?0??n意味着?0??n或者?0=?n。 * + E?E * E?i+i*i * 对上例 E→E+T | T T→T*F | F F→(E) | i 2.3.3 语言的形式定义 区别：直接推导的长度为1，推导的长度大于等于1，而广义推导的长度大于等于0。 句型和句子 4. 句型和句子 设有文法G[S]（S是文法G的开始符号） 如果S? x, x ∈(VN∪VT)* 则称符号串x 为文法G[S]的句型。 * 如果S? x, x ∈VT* 则称符号串x为文法 G[S]的句子。 * 2.3.3 语言的形式定义 例1 设有文法G[S]： 我们有: 显然，符号串01、0S1、00S11和000111 都是文法G[S]的句型，而01和000111又是文法G[S]的句子。 S→01 | 0S1 S? 01 * S? 0S1 * S? 00S11 * S? 000111 * 2.3.3 语言的形式定义 例2 设有文法G[E]： 试证明符号串 (i*i+i) 是文法G[E]的一个句子。 分析 只要证明符号串 (i*i+i) 对文法 G存在一个推导，就可证明符号串 (i*i+i) 是文法G[E]的一个句子。 E→E+E | E*E | (E) | i 2.3.3 语言的形式定义 E→E+E | E*E | (E) | i E ?(E) ?(E+E) ?(E*E+E) ?(i*E+E) ?(i*i+E) ?(i*i+i) 即有 E?(i*i+i), 所以符号串(i+i*i)是文法 G[E]的一个句子。 * （2）L(G)是VT* 的子集。即属于VT* 的符 号串 x 不一定属于L(G)。 2.3.3 语言的形式定义 5．语言 文法G[S]产生的所有句子的集合称为文 法G所定义的语言,记为L(G[S])： 由语言定义可知： （1）一当文法给定，语言也就确定。 L(G[S])={x|S?x且x∈VT*} * 2.3.3 语言的形式定义 例3 设有文法G[S] ：S→01 | 0S1 求该文法所描述的语言是什么？ 分析 由识别符号S出发，将推出一些什么样的句子，也就是说，L(G[S])将由什么样的一些符号串所组成的集合，找出其中的规律，用式子或自然语言描述出来。 2.3.3 语言的形式定义 我们应用第二个规则n－1次，然后再应用第一个规则1次，有： S ?0S1 ?00S11 … ?0n-1S1n-1 ?0n1n 即S?0n1n * 可见，此文法定义的语言为 L(G[S])={ 0n1n | n≥1} S→01 | 0S1 2.3.3 语言的形式定义 例4 设有文法G[S]：S→0S | 1S |ε 该文法所定义的语言是什么？ 由该文法所确定的语言为 L(G[S])={ε, 0, 1, 00, 01, 10, 11, …} ={ x | x∈{0,1}* } 2.3.3 语言的形式定义 例5 设有文法G[A]： 该文法所定义的语言是什么？ 分析 从文法开始符号A出发可推导出以y开头后面跟一个或多个x结尾的符号串，所以该文法定义的语言为 A→yB B →xB | x L(G[A])={ yxn | n≥1} 2.3.3 语言的形式定义 由此可见，从已知文法确定语言的中心思想是：从文法的开始符号出发，反复连续地使用规则替换、展开非终结符，找出句子的规律，用式子或自然语言描述出来。 2.3.3 语言的形式定义 形式语言理论可以证明如下两点： (1) 给定一种语言，能确定其文法，但这种文法不是唯一的，即：L→G1或G2或… (2) 给定一个文法，就能从结构上唯一确 定其语言，即：G→L(G)； 2.3.4 规范推导和规范归约 文法和语言是密切相关的，文法所定义的任一句型和句子,