zoukankan      html  css  js  c++  java
  • 上下文无关文法

    上下文无关文法

    下面给出一个例子:

     上下文无关文法的推导

    生成树

    下面给出一个例子:

     歧义文法

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

    下面给出一个例子:

    去除文法的歧义性

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

    出现歧义的原因:

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

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

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

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

    固有的歧义性

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

  • 相关阅读:
    [LeetCode] 394. Decode String 解码字符串
    [LeetCode] 393. UTF-8 Validation 编码验证
    [LeetCode] Is Subsequence 是子序列
    [LintCode] Maximum Gap 求最大间距
    [LintCode] Nuts & Bolts Problem 螺栓螺母问题
    [LintCode] Kth Smallest Number in Sorted Matrix 有序矩阵中第K小的数字
    [LeetCode] Perfect Rectangle 完美矩形
    LaTex Remove Left Margin 去除左边空间
    LaTex Font Size 字体大小命令
    [LintCode] Continuous Subarray Sum 连续子数组之和
  • 原文地址:https://www.cnblogs.com/TheFutureIsNow/p/11013167.html
Copyright © 2011-2022 走看看