形式语言_第2章_文法教材教学课件.ppt

* * G9：S?A|AS A?a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z G10：S?00 | 11 | 22 | 33 | 0S0 | 1S1 | 2S2 | 3S3 G’12：S?R | +R | -R R?N | B B?N.D N?0 | AM D?0 | MA A?1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 M?0M | 1M | 2M | 3M | 4M | 5M | 6M | 7M | 8M | 9M G13：E?id|c|+E|-E|E+E|E-E|E*E|E/E|E**E|Fun(E) （3）下列文法是CSG和短语结构文法,但不是CFG和RG。 G14：S?aBC | aSBC， CB?BC aB?ab bB?bb bC?bc cC?cc （4）下列文法是短语结构文法,但不是CSG,CFG和RG。 G5： S?A，S?B，S?AA，S?BB，A?0，B?1，CACS?21，C?11，C?2 G7：S?ε|0S G8：S?ε|00S111 G14：S?aBC | aSBC， CB?BC aB?ab bB?bb bC?bc cC?cc 文法分类举例 设L={0n|n ≥1},试构造满足要求的文法G。 G是RG。 G是CFG,但不是RG。 G是CSG,但不是CFG 。 G是短语结构文法,但不是CSG 。 * * 文法的乔姆斯基体系 ⑴ 如果一个文法G是RG，则它也是CFG、CSG和短语结构文法。反之不一定成立。 ⑵ 如果一个文法G是CFG，则它也是CSG和短语结构文法。反之不一定成立。 ⑶ 如果一个文法G是CSG，则它也是短语结构文法。反之不一定成立。 * * 文法的乔姆斯基体系 相应地： ⑷ RL也是CFL、CSL和短语结构语言。反之不一定成立。 ⑸ CFL也是CSL和短语结构语言。反之不一定成立。 ⑹ CSL也是短语结构语言。反之不一定成立 ⑺ 当文法G是CFG时，L(G)却可以是RL。 ⑻ 当文法G是CSG时，L(G)可以是RL、CSL。 ⑼ 当文法G是短语结构文法时，L(G)可以是RL、CSL和CSL。 * * 文法的乔姆斯基体系 定理 2-1 L是RL的充要条件是存在一个文法，该文法产生语言L，并且它的产生式要么是形如：A?a的产生式，要么是形如A?aB的产生式。其中A、B为语法变量，a为终极符号。 证明 ： 充分性：设有G′，L(G′)=L，且G′的产生式的形式满足定理要求。这种文法就是RG。所以，G′产生的语言就是RL，故L是RL。 * * 文法的乔姆斯基体系 必要性 构造：用产生式组： A?a1A1 A1?a2A2 … An-1?an 代替产生式 A? a1a2…an * * 文法的乔姆斯基体系 用产生式组 A?a1A1 A1?a2A2 … An-1?anB 代替产生式 A? a1a2…an B * * 文法的乔姆斯基体系 证明L(G′)=L(G) 。 施归纳于推导的步数，证明一个更一般的结论：对于?A∈V，A ?G+ x?A? G′+ x。因为S∈V，所以结论自然对S成立。 * * 文法的乔姆斯基体系 几点注意事项 ⑴ 我们是按照RG的一般定义来构造一个与之等价的文法的，这与读者以前熟悉的根据一个具体的对象构造另一个对象是不同的。在这里，可以使用的是非常一般的条件——一个一般模型。这也是这类问题的证明所要求的。而且在本书的后面，将会有更多这样的情况。 * * 文法的乔姆斯基体系 ⑵ 为了证明一个特殊的结论，可以通过证明一个更为一般的结论来完成。这从表面上好像是增加了我们要证明的内容，但实际上它会使我们能够更好地使用归纳假设，以便顺利地获得我们所需要的结论。 * * 2.2 形式定义 语言(language) L(G)={w | w∈T*且S ? w} 句子(sentence) ?w∈L(G)，w称为G产生的一个句子。 句型(sentential form) G=(V，T，P，S)，对于?α∈(V∪T)*，如果S ? α，则称α是G产生的一个句型。 * * * * 2.2 形式定义 句子w是从S开始，在G中可以推导出来的终极符号行，它不含语法变量。 句型α是从S开始，在G中可以推导出来的符号行，它可能含有语法变量。 例 2-7 给定文法G=({S，A，B，C，D},{a，b，c，d,#}，{S?ABCD|abc#，A?aaA，AB?aabbB，BC?bbccC，cC?cccC，CD?ccd#，CD?d#，CD?#d}，S)