📜  不确定的语言

📅  最后修改于: 2020-11-26 10:26:13             🧑  作者: Mango


对于不确定的语言,没有图灵机接受该语言并为每个输入字符串w做出决定(尽管TM可以为某些输入字符串做出决定)。如果对于P的所有肯定实例的语言L不可确定,则决定问题P被称为“不可确定”。不确定的语言不是递归语言,但有时它们可能是递归可枚举的语言。

不确定的语言

  • 图灵机的停机问题
  • 死亡率问题
  • 凡人矩阵问题
  • 邮政通信问题等