context-free-language

    0热度

    1回答

    让是:L = {A Ñ b米Çö | Ñ<米< O,N自然} 使用泵引理我已经选择:Z = uvwxy =一个Ñ b n + 1个ÇN + 2 | UV | < = n和| V |> 0 => UV WX Ÿ 如果VWX是的和/或B的它是好的,我们将有更多的和/或B的比C的 - 但如果vwx仅包含c,则它将是L.的元素。 据我所知全部新词必须是而不是 L的元素表明它不是CFL。我将如何做到这一点?

    -1热度

    1回答

    您可以列出您知道的问题:可确定为上下文无关语言和确定性上下文无关语言。我确实在Stack Overflow和Wiki中获得了一些不可判定问题的信息,但与CFG或DCFG没有关系。这个问题列表(带有证明/链接)可能对正在寻找这些问题的人非常有帮助。

    1热度

    1回答

    首先,我不学习计算机科学,我只是对这个问题感兴趣。 解析器基本上这是否正确: 读取输入 创建令牌 实际上解析令牌并创建一个AST 因此,我认为,为了决定是否一个单词是一种常规的语言,你使用一个FSM和CF语言,你需要一个解析器,因为可能存在递归结构。因此,存在用于常规语言的扫描器生成器和用于CF语言的解析器生成器。 但现在我看,你可以建立一个递归体面解析器的正则表达式: http://matt.m

    0热度

    1回答

    非常规语言的补充是递归语言吗? 我明白, 1.无条件语言不补充关闭。 2.递归可枚举语言不补充。 3.递归语言确实是在补充下关闭的。 但是,如何使用这些事实回答最初的问题?如何判断一个非常规语言是否递归?

    2热度

    1回答

    我在理解如何获得两种上下文无关语言(L =L1∩L2)的交集时遇到了一些麻烦。我见过其中很常见的例子: L1 = {a^i b^i c^j | i,j ≥0} L2 = {a^i b^j c^j | i,j ≥0} L1 ∩ L2 = {a^i b^i c^i | i ≥0} 但对于这样一个例子: L1 = {a^i b^i c^j d^j | i,j ≥0} L2 = {a^j b^i

    0热度

    1回答

    语言是{w | w有一个奇数长度}并且字母表是{0,1}。 我想出了 S->1p|0p|e p->00p|11p|01p|10p|e 的解决方案和书中有 S->0|1|0S0|0S1|1S0|1S1 是这些等同?

    -1热度

    1回答

    可以说你有一种语言L,并且你想确定它是否是上下文无关的。与常规语言相交的上下文无关语言是上下文无关的。这足以证明L无上下文吗? 含义, 大号相交P = T其中P是一个正则语言和T是上下文。这是否意味着L无上下文?

    0热度

    1回答

    我在接近以下问题时遇到问题。 给了以下语言的上下文无关文法: {x#y | x,y in {0,1}* and |x| != |y|} 什么是解决这个问题的最佳方式是什么?目前我只是用直觉来解决像这样的问题,但是有没有有用的技巧?也就是说,你能想出这种语言的PDA会是什么样子,然后从中得到语法吗?有没有使用语法A和B来查找语法G = A和B的方法? 我很努力地看到如何解决这个问题,所以任何帮助