第二章-袁伟伟.ppt

* 正则文法 对应G中的产生式S→a1B1，G’中有S→B1a1，对应G中的产生式B1→a2B2,G’中有B1→B2a2 ,…, 对应G中的产生式Bn-2→an-1Bn-1 , G’中有Bn-2→Bn-1an-1 , 对应G中的产生式Bn-1→anBn ,G’中有Bn-1→Bnan 。至于G中的产生式Bn-1→an和Bn→ε，G’中也有同样的产生式。 S B1a1 （用产生式S→B1a1） B2a2a1 （用产生式B1→B2a2） ┆ Bn-1an-1…a2a1 （用产生式Bn-2→Bn-1an-1） anan-1…a2a1 （用产生式Bn-1→an） 或者有 Bn-1an-1…a2a1 Bnanan-1…a2a1 （用产生式Bn-1→Bnan） anan-1…a2a1 （用产生式Bn→ε） 所以总起来有 S anan-1…a2a1 xR ，即xR ∈L G’ 。 * 正则文法 另一方面，设x a1a2…an∈L G′ ,要证xR an…a2a1∈L G 。 对于n≤1，根据与前面同样的理由，结论显然成立。 对于n≥2，在G′中要用一系列直接推导 S B1an （用产生式S→B1an） B2an-1an （用产生式B1→B2an-1） ┆ Bn-1a2…an-1an （用产生式Bn-2→Bn-1a2） a1a2…an-1an （用产生式Bn-1→a1） 或者有 Bn-1a2…an-1an Bna1a2…an-1an （用产生式Bn-1→Bna1） a1a2…an-1an （用产生式Bn→ε） * 正则文法 G中产生式是G′中产生式的唯一来源，因此，在G中也有一系列直接推导 S anB1 （用产生式S→anB1） anan-1B2 （用产生式B1→an-1B2） ┆ anan-1…a2Bn-1 （用产生式Bn-2→a2Bn-1） anan-1…a2a1 （用产生式Bn-1→a1） 或者有 anan-1…a2Bn-1 anan-1…a2a1Bn （用产生式Bn-1→a1Bn） anan-1…a2a1 （用产生式Bn→ε） 这也就是 S anan-1…a2a1 xR 。即xR ∈L G 。 总之，我们有L G′ L G R 。定理证完。 * 课堂训练1 找出下列生成式产生的语言 * 课堂训练1 答案） * 课堂训练1 详细步骤） * 课堂训练1 详细步骤） * 课堂训练1 详细步骤） * 课堂训练2 找出下列生成式产生的语言 * 课堂训练2 答案） * 课堂训练3 给出语言，写出文法 * 课堂训练3 （答案） 给出语言，写出文法 The main idea behind this given grammar is that at each step of derivation you get another a to the left and another b to the right of a central S. Finally the S is replaced by an e and disappears. * 作业 2.1 找出由下列各组生成式产生的语言 * 作业 2.2 分别写出能产生下列语言的文法 由于自然语言描述的规则本身不严密，所以本书引入的文法使用严格的形式规则 本质上就是嵌套的递归结构 在这种表示法中，用尖括号“ ”和“ ”括起来的部分，做为一个整体来看，表示一种语法成分，最终要用具体的字符串集合来定义它，如 、 、 等等。 符号“:: ”和“∣”是BNF本身使用的符号，前者含有“就是”的意思，后者含有“或者”的意思。例如定义的 就是0，或者1，或者2，或者3，…，或者8，或者9这十个阿拉伯数字。 其他的符号如：iF,tHEn,ElsE,；,: , ， ,+,-,*,/，a,b,C,x,y,z,等等都是构成语言的基本符号，也就是字母表中的符号。 第五条规则关于 的定义，这是一种递归的定义形式。 从树根 到下一层 ，是用了第一条规则— 是 的一种。 以 为根具有四个孩子结点wHilE、 、Do、 的这棵子树，是由 :: wHilE Do 这条规则而来。 以 为根具有三个孩子结点 、 、 的这棵子树，是由规则 :: 而来。 对于 ， 等为根的子树也是这样逐层画出来的，直到所有叶结点都是构成语言的基本符号为止。 符号“→”与BNF中的“:: ”是一样的意思，为简单起见，以后都用这个符号。其余符号的意义与例2.2中相同，这里tHE, applE, Eats 等英语单词是组成句子的基本成分，不必再加解释。 The apple runs