【问题标题】:How to show with the following conditions that the language L isn't context-free?如何用以下条件表明语言 L 不是上下文无关的?
【发布时间】:2016-09-15 02:54:36
【问题描述】:

如果我们有一种语言

现在我必须使用不是上下文无关的语言 K 以及上下文无关语言与常规语言的交集是上下文无关的引理来表明语言

不是上下文无关的。

希望有人能帮忙

【问题讨论】:

  • 我不知道如何分类这个问题。我想这不适用于stackoverflow。我不能勇敢地将这个问题投票为离题,但我认为这至少 不清楚你在问什么。你需要什么?
  • 如何证明 L 不是上下文无关的?通常我会用泵引理来证明这一点,但在这种情况下,我的教授要求这种特殊的方法来证明 L 不是上下文无关的。 (也不知道在哪里问这个问题)
  • 我希望有人能帮助你。这不是我。我不知道那种语言/引理是什么,也不知道它与计算机开发有什么关系。对不起:(
  • 我定义了语言(或者你可以说是语法)K 和 L,它的一个定理表明这些语言(语法)的交集是上下文无关的。现在我只需要证明这个定理。正如您在我的个人资料中看到的那样,我问了一个与常规语法类似的问题,并且在 StackOverflow 上也得到了回答,这是对常规/上下文无关/上下文敏感语言以及它们的证明的许多问题,所以我认为这是一个合法的问题.
  • 是的,关于合法性问题毫无疑问。只是我对这个话题一无所知。我希望有人可以帮助你,但不是我。再次抱歉,祝你好运。

标签: grammar context-free-grammar regular-language


【解决方案1】:

与a+b+a+b+相交的L是K。既然你知道K不是cf,根据引理,L也不能是cf。

【讨论】:

    猜你喜欢
    • 1970-01-01
    • 2020-09-18
    • 1970-01-01
    • 2016-03-18
    • 2014-11-07
    • 2011-06-06
    • 1970-01-01
    • 1970-01-01
    相关资源
    最近更新 更多