不确定性简介

在计算理论中，我们经常遇到回答为“是”或“否”的问题。可以回答“是”的问题类别称为可解决的或可判定的。否则，这类问题被认为是无法解决或无法确定的。

通用语言的不确定性：

通用语言L _u是可递归枚举的语言，我们必须证明它是不可确定的(非递归)。

定理： L _u是RE，但不是递归的。

证明：

考虑语言L _u是递归可枚举的语言。我们将假设L _u是递归的。_{那么L u}的补码L'u也是递归的。但是，如果我们有一个TM M接受L'u，那么我们可以构造一个TM L _d 。但大号_d角化语言不重。因此，我们关于L _u是递归的假设是错误的(不是RE表示不是递归)。因此，我们可以说L _u是RE，但不是递归的。 _{L d}的M的构造如下图所示：