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