上下文无关文法

Posted hahahang

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了上下文无关文法相关的知识,希望对你有一定的参考价值。

上下文无关文法

技术图片

下面给出一个例子:

技术图片

 上下文无关文法的推导

技术图片

技术图片

生成树

技术图片

下面给出一个例子:

技术图片

技术图片

 歧义文法

如果一个字符串有多个推导,或者有多个生成树可以生成同样的字符串,则称这个文法是歧义的。如果每个字符串都只对应于一个生成树,则称这个文法是非歧义的。

下面给出一个例子:

技术图片

去除文法的歧义性

无法根据一个确切的算法来判断一个文法是否是歧义的,而且如果一个上下文无关的语言只存在一个具有歧义的文法,那么就无法去除歧义性。

出现歧义的原因:

  1. 没有考虑运算符的优先级。例如上面的例子,左图是×先于+结合,而右图是+先于×结合,这两者都是正确的生成树。然而在一个无歧义的文法中只允许左图的结构。
  2. 一系列同样的运算符既可以从左到右也可以从右到左结合。例如对于字符串E+E+E将会得到两颗不同的生成树,因为加法满足结合律,所以无论从左还是从右结合都无所谓,但是为了去除歧义,习惯性的采用从左到右的结合方式。

对于一个问题,强制优先级的问题的解决方法是引入几个不同的变元,每个变元代表拥有同样级别的“黏结强度”的那些表达式。对于上面那个具有歧义的文法,可以进行如下转化:

技术图片

最左推导作为一种歧义的表达

即使文法的是无歧义的,推导也有可能不唯一。但下面的结论总是成立的:在无歧义的文法中,最左推导是唯一的,最右推导也是唯一的。对于任何文法G=(V, T, P, S)和T*中的串w,w有两颗不同的生成树当且仅当从S到w有两个不同的最左推导。

固有的歧义性

如果一个上下文无关的语言L的所有的文法都是歧义的,则称它是固有歧义的。只要L有一个文法是非歧义的,那么L就是非歧义的。例如,在上面的例子中的文法所生成的语言实际上是非歧义的,因为它存在一个非歧义的文法。

以上是关于上下文无关文法的主要内容,如果未能解决你的问题,请参考以下文章

上下文无关文法

基于上下文无关文法的句子生成算法

什么是上下文无关文法

什么是上下文无关文法

3.2语法分析-上下文无关文法

3.2语法分析-上下文无关文法