G 是给定的 CFG,L(G) 是规则的吗?这是一个无法确定的问题。
但我的论点是,语言是给定的,如果我可以做以下任何事情,那么它将是常规的,否则将是非常规的:
- 创建 DFA/NFA
- 编写左线性或右线性语法
- 编写正则表达式
请告诉我为什么它无法确定?
但我的论点是,语言是给定的,如果我可以做以下任何事情,那么它将是常规的,否则将是非常规的:
请告诉我为什么它无法确定?
“不可判定”意味着没有算法可以决定问题。让我们深入研究这些术语的含义。
算法是您可以编码到图灵机中的任何东西。图灵机没有创造力,他们不思考,他们不能幸运或学习新事物来尝试。它们以一种方式编码,然后必须在所有输入上都以相同的方式工作,而没有任何改变的可能性。改变它的行为,你就有了一台新的图灵机。
在这种情况下决定意味着正确地确定每个问题实例的答案是肯定的还是否定的。您必须能够在有限的时间内以 100% 的把握对每个实例说是或否;大多数时候只能说“是”或“不”,甚至两者都说是不够的。
那么回答你的问题: