语言被称为可判定或递归如果它接受并停止在每个输入字符串砂图灵机。每种可决定的语言都是图灵可接受的。

如果对于P的所有“是”实例的语言L是可判定的，则判定问题P是可判定的。

对于可确定的语言，对于每个输入字符串，TM会停止在接受或拒绝状态，如下图所示：

例子1

找出以下问题是否可以判定-

是素数“ m”吗?

解

质数= {2、3、5、7、11、13，…………..}

将数字“ m”除以从“ 2”开始的“ 2”和“√m”之间的所有数字。

如果这些数字中的任何一个产生余数零，那么它将进入“拒绝状态”，否则将进入“接受状态”。因此，这里的答案可以是“是”或“否”。

因此，这是一个可以确定的问题。

例子2

给定常规语言L和字符串w ，我们如何检查w∈L ?

解

接受接受L的DFA，并检查w是否被接受

一些更可确定的问题是-

• DFA是否接受空语言?
• 为L _{1∩L 2} =∅定期套?

注意–

• 如果语言L是可确定的，则其补语L’也可确定

• 如果一种语言是可决定的，则可以使用一种枚举器。