第2章 文法 计算机专业 形式语言课件.ppt

* * 2.5 空语句 设G=(V，T，P，S)是一个文法，如果S不出现在G的任何产生式的右部，则： ⑴ 如果G是CSG，则仍然称G=(V，T，P∪{S?ε}，S)为CSG；G产生的语言仍然称为CSL。 ⑵ 如果G是CFG，则仍然称G=(V，T，P∪{S?ε}，S)为CFG；G产生的语言仍然称为CFL。 ⑶ 如果G是RG，则仍然称G=(V，T，P∪{S?ε}，S)为RG。G产生的语言仍然称为RL。 * * 2.5 空语句 定理2-6 下列命题成立： ⑴ 如果L是CSL，则L∪{ε}仍然是CSL。 ⑵ 如果L是CFL，则L∪{ε}仍然是CFL。 ⑶ 如果L是RL，则L∪{ε}仍然是RL。 * * 2.5 空语句 证明：对第1个命题：设L是CSL，则存在一个CSG G=(V，T，P，S)，使得L(G)=L。由定理2-5-1，我们不妨假设S不出现在G的任何产生式的右部。 取： G′=(V，T，P∪{S?ε}，S) 由于S不出现在G的任何产生式的右部，所以，S?ε不可能出现在任何长度不为0的句子的推导中。 * * 2.5 空语句 易证： L(G′)=L(G)∪{ε}。 由于G′是CSG，所以，L(G)∪{ε}是CSL。 同理可证第2和第3个命题。 * * 2.5 空语句 定理2-7 下列命题成立 ⑴ 如果L是CSL，则L-{ε}仍然是CSL。 ⑵ 如果L是CFL，则L-{ε}仍然是CFL。 ⑶ 如果L是RL，则L-{ε}仍然是RL。 * * 2.5 空语句 证明：对第1个命题：设L是CSL，则存在一个CSG G=(V，T，P，S)，使得L(G)=L。如果ε?L，则L-{ε}=L，所以， L-{ε}是CSL。 如果ε∈L，由定理2-5-1，我们不妨假设S不出现在G的任何产生式的右部。取： G′=(V，T，P-{S?ε}，S) * * 2.5 空语句 由于S不出现在G的任何产生式的右部，所以，如果L(G)中存在长度非0的句子，S?ε不可能出现在它们的推导中。也就是说，将S?ε从G中去掉后，不会影响L(G)中任何长度非0的句子的推导。容易证明： L(G′)=L(G)-{ε} 由于G′是CSG，所以，L(G)-{ε}是CSL。 同理可证其他两个命题。 * * 2.5 空语句 对于任意文法G=(V，T，P，S)，对于G中的其他变量A，出现形如A?ε的产生式是不会改变文法产生的语言的类型的，而且这样一来，对我们进行文法的构造等工作还提供了很多方便。所以，我们约定：对于G中的任何变量A，在需要的时候，可以出现形如A?ε的产生式。 * * 2.6 小结 本章讨论了语言的文法描述。首先介绍文法的基本定义和推导、归约、文法定义的语言、句子、句型、文法的等价等重要概念。讨论了如何根据语言的特点、通过用语法变量去表示适当的集合（语法范畴）的方法进行文法构造，并按照乔姆斯基体系，将文法划分成PSG、CSG、CFG、RG等4类。在这些文法中，线性文法是一类重要的文法。 * * 2.6 小结 ⑴ 文法G=(V，T，P，S)。任意A∈V表示集合L(A)={w | w∈T*且A ?* w}。 ⑵ 推导与归约。文法中的推导是根据文法的产生式进行的。如果α?β∈P，γ，δ∈(V∪T)*，则称γαδ在G中直接推导出γβδ：γαδ?G γβδ；也称γβδ在文法G中直接归约成γαδ。 * * 2.6 小结 ⑶ 语言、句子和句型。文法G产生的语言L(G)={w | w∈T*且S ?* w}，w∈L(G)为句子。一般地，由开始符号推出来的任意符号行叫做G的句型。 ⑷ 一个语言可以被多个文法产生，产生相同语言的文法被称是等价的。 * * 2.6 小结 ⑸ 右线性文法的产生式都可以是形如A?a和A?aB的产生式。左线性文法的产生式都可以是形如A?a和A?Ba的产生式。左线性文法与右线性文法是等价的。然而，左线性文法的产生式与右线性文法的产生式混用所得到的文法不是正则文法。 * * 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) （