G是CFG,是L(G)常规

时间:2015-08-27 02:24:35

标签: regular-language context-free-language

G是给定的CFG,是L(G)常规吗?这是一个不可判定的问题。

但是我的论点是,语言是给定的,如果我可以做以下任何事情,那么它将是常规的非常规的:

  • 创建DFA / NFA
  • 写左线性或右线性语法
  • 编写正则表达式

请告诉我为什么它不可判断?

1 个答案:

答案 0 :(得分:2)

“Undecidable”表示没有算法可以决定问题。让我们深入研究这些术语的含义。

算法是您可以编码到图灵机中的任何东西。图灵机没有创意,他们没有想到,他们不能幸运或学习新事物。它们以一种方式编码,然后必须在所有输入上进行相同的操作,而无需更改。改变它的行为,你有一台新的图灵机。

在此上下文中决定意味着为每个问题实例正确确定答案是“是”还是“否”。你必须能够在有限时间内100%确定地为每个实例说“是”或“否”;仅仅能说“是”,或者只能说“不”,或者甚至两者都只是大部分时间都不够。

回答你的问题:

  • 你(大概)不是图灵机
  • 没有什么可以阻止你(或图灵机)回答大量感兴趣的实际问题实例的问题
  • 目前尚不清楚这个问题是否对人类来说是不可判定的;我们只能证明它对于图灵机(以及等效的计算系统)来说是不可判定的。
  • Church-Turing论文推测人类的计算设施并不超过图灵机的计算设施,但这并未得到证实