【发布时间】：2015-11-21 06:20:32
【问题描述】：
G 是给定的 CFG，L(G) 是规则的吗？这是一个无法确定的问题。
但我的论点是，语言是给定的，如果我可以做以下任何事情，那么它将是常规的，否则将是非常规的：
- 创建 DFA/NFA
- 编写左线性或右线性语法
- 编写正则表达式
请告诉我为什么无法确定？
【问题讨论】：
标签： regular-language context-free-language
【发布时间】：2015-11-21 06:20:32
【问题描述】：
“不可判定”表示没有算法可以决定问题。让我们深入研究这些术语的含义。
算法是任何可以编码到图灵机中的东西。图灵机没有创造力，他们不思考，他们不能幸运或学习新事物来尝试。它们以一种方式编码，然后必须在所有输入上都以相同的方式工作，而没有任何改变的可能性。改变它的行为，你就有了一台新的图灵机。
在此上下文中决定意味着正确确定每个问题实例的答案是是还是否。您必须能够在有限的时间内以 100% 的把握对每个实例说是或否；大多数时候只能说“是”或“不”，甚至两者都说是不够的。
那么回答你的问题：
- 你（大概）不是图灵机
- 没有什么能阻止您（或图灵机）回答大量感兴趣的实际问题实例的问题
- 目前尚不清楚这个问题是否对人类来说是不可判定的；我们只能证明它对于图灵机（和等效的计算系统）是不可判定的。
- Church-Turing 论文推测人类的计算能力并不超过图灵机，但这没有得到证实
【讨论】：