定义:A={<M, ω> | M描述一台图灵机,且M描述的机器接受ω}
我们知道这个是不可判定的。
这里表示的是: M描述一台能够识别语言L的图灵机,对任何一个字符串,我们判定M是否能接受它(接受或者拒绝)。
A的含义是:对所有图灵机,我们都要实现上边的功能。这是一个可判定问题。
如果这里是所有图灵可判定语言的图灵机,那么显然有这么一个图灵机A存在。因此为可判定。
定义:A={<M, ω> | M描述一台图灵机,且M描述的机器接受ω}
我们知道这个是不可判定的。
这里表示的是: M描述一台能够识别语言L的图灵机,对任何一个字符串,我们判定M是否能接受它(接受或者拒绝)。
A的含义是:对所有图灵机,我们都要实现上边的功能。这是一个可判定问题。
如果这里是所有图灵可判定语言的图灵机,那么显然有这么一个图灵机A存在。因此为可判定。