第2章(补充).pptVIP

* * * * * * * * 第2章(补充) * Grammar Language * 文法的例子(1) G1 = ({S1}, {a, b}, S1, P) 其中 P = {S1 ? aS1b , S1? ab} 下面是一些句子的例子： S1 ? ab by S1? ab; S1 ? aS1b by S1 ? aS1b ? aabb = a2b2 by S1? ab …… * Grammar Language * 文法的例子(1) G1 = ({S1}, {a, b}, S1, P) 其中 P = {S1 ? aS1b , S1? ab} 易知 L(G1) = {anbn | n 0 }. 如何证明? 证明两个集合相等，应该做： 1. 证明 G1中所推导的任意串都有anbn的形式; 2. 证明每一个形如 anbn的串都能从 G1推导而来。 * Grammar Language * 证明 L(G1) ={anbn | n 0} 证明: 首先对推导的每一步利用归纳法证明 ?x ? L(G1) 都形如 anbn ： 归纳法 1. 一步： S1 ? ab. 显然是正确的。 2. 假设对任意的k 步, k n也是正确的。 3. 下面看n步的推导，有： S1 ?n–1 an–1S1bn–1 (用 n–1 次S1 ? aS1b) ? an–1abbn–1= anbn (用 S1 ? ab ) 由此得证 ?. ?得证! * Grammar Language * 证明 L(G1) ={anbn | n 0} 证明: 然后证明任意一个形如anbn的串x都能用G1的产生式推导出来。对x的长度进行归纳证明 : 1. |x| = 2: S1 ? ab. 显然是正确的。 2. 假设对于|x| = 2k 2n 是正确的； 3. 设 |x| = 2n. 于是 x是 anbn. 有： S1 ?aS1b 且 S1?* an–1bn–1 (因为 |an–1bn–1| 2n). 得到S1 ?aS1b ?* aan–1bn–1b = anbn 于是 ? 部分得证，整个证明完成。 * Grammar Language * 文法的例子(2) G[S2] : S2 ? a S2 b | A A ? a A | a 文法的核心是产生式集。因此用产生式集合足以代表文法。可以用 G[S] 来指明开始符号, 将 S ? ? 或 S ? ? 简写为 S ? ? | ?. * Grammar Language * 文法的例子 (2) G[S2] : S2 ? a S2 b | A A ? a A | a 文法 G[S2] 与 G1是不同的 : S2 ?n anS2bn ? anAbn ? anakbn, k 0. A至少能推导出一个a 于是L(G[S2]) = {ambn | m n ≥ 0} 请自己证明！ * Grammar Language * 标识符文法 表示标识符的文法 G[id]为: id ? letter | id letter | id digit letter ? a | b| … |z digit ? 0 | 1| … |9 显然，文法句子都是以符号开始的由符号和数字组成的符号串。 * Grammar Language * 文法的等价性 给定两个文法 G1 和 G2, G1 和 G2 是等价的，当且仅当G1 和 G2 所产生的语言是相等的。 即 G1 ? G2, 当且仅当 L(G1) = L(G2). 例如, G[A]：A?aR | ab，R?Ab。 易证 L(G[A]) = {anbn | n 0}. 于是有 G[A] ? G[S1]. * Grammar Language * 设计文法 问题： 设计文法 G[S]，使得： L(G[S]) = {w | w 中a和b的个数相等} The grammar is G[S1], isn’t it? Where G[S1]: S1 ? aS1b | ab No! For L(G[S1]) = {anbn | n 0} is a proper subset of L(G[S]). Lots of sentences can’t be derived by G[S1], for example “ab