递归可枚举,递归
图灵机对于任意输入,只有三种状态:
1.接受停机。
2.状态转移函数无定义,落空停机。
3.一直有定义,但永不停机。
1被称为接受,23都算不接受,但2是拒绝,3是不停机(你不能说他不接受,因为程序不终止无法判定)。
于是针对23区别产生了,语言L任意串能实现12则称为递归语言,即任意一个元素都能判定是不是被接受,这样就被称为递归语言。
语言L任意串能实现13则被称为递归可枚举语言,即任意一个元素如果在接受集合之内,TM一定会停机且接受,但是如果不在接受集合内,TM不会停机,即无法验证。
这种只能验证事先知道结果的语言,称为递归可枚举语言,即可以以暴力枚举的方式判定被接受串。