关于语言L(G%5bS%5d)%3d%7banbncn%7cn≥1%7d的文法深讨.pdfVIP

计算机科学2008Voi．35NQ．4B 关于语言L(G[S])={abnenl n≥1)的文法深讨 赵鲁涛徐美林熊丽 (北京科技大学应用科学学院 北京100083) 法，来体现文法规则的细微差异将引起所表示语言的极大不同。 关键词上下文相关文法，规则，形式化语言 =v,aaabbBA’A’B=’aaabb久氏’久B 1 引言 ：=v,aaabbABAB=’aaabbbBA?B 不同的文法生成不同的语言，乔姆斯基(Chomsky)将文=》aaabbbAA’B=》aaabbbABB 法和语言分为4大类，即0型、1型、2型和3型。 =vaaabbbbBB=aaabbbbcB 0型文法，即无限制文法，指文法中的每条规则一卢，是 =》aaabbbbcc 这样一种结构：口∈(V★UVr)’且至少含一个非终结符，而p 从上面的推导可看出：从文法的开始符号S可以推出句 ∈(¨UVr)。。 子aaabbbbcc，即口364，。但句子a3b％z不属于语言L(GES]) 1型文法，即上下文有关文法，指文法中的每条规则的形 ={ab“c“I行≥1}，这就足以证明该文法所描述的语言并不是 语言L(G[S]_--{a“b4c“I九≥1}。 式为∞俨m护，其中A∈¨，口，卢∈(¨UVr)。，uE(¨U Vr)+。 3分析并求解文法G[S]所表示的语言 2型文法，即上下文无关文法，指文法中的每条规则的形 通过上述推导过程，可以发现该问题是由于G[S]中用了 式为A—p，其中A∈VN，p∈(vNUVr)’。 3型文法。即正规文法，分为右线性文法和左线性文法。 BA—AB。为判断这种表示方法的准确性，利用BA—BA7， 右线性文法指文法中的每条规则的形式为A一阳或A BA’一AA’，AA’一AB三条规则来进行如下的推导： 一口，其中A，B∈VN，a∈W；左线性文法指文法中的每条规 BBA=，BBA’净＆¨7辛ABA’净AAA’=AAB 则的形式为A．一勘或A一口，其中A，B∈¨，口∈W。 通过上面的推导，从B8A推出了AAB，其中A和B的 2问题的提出与证明 数量都有了变化。 上面的证明过程中芷是用了B＆A净A4B使得句型中的 参考文献[1]中对文法OEs]=(¨。Ⅵ，P，s)有如下的 描述： A和B的个数发生了变化，以至最后句子中b和c的个数不 有1型文法G[s]=(¨，¨，P，s)，其中 等。 ¨={S，A，B，A’} ¨={口，b，C} 为求文法G[s]所表示的语言，进行下面的推导： aaaaaab B BABABABABAB用BA÷A P一{S--aSABlabB 分+BA7 =，aaaaaabABBABABABAB甩BBA辛AAB BAI一氏 =争aa BABABAB用BBA=》AAB AA7—-AB