可判定问题

定义：A={<M, ω> | M描述一台图灵机，且M描述的机器接受ω}

我们知道这个是不可判定的。

这里表示的是： M描述一台能够识别语言L的图灵机，对任何一个字符串，我们判定M是否能接受它（接受或者拒绝）。

A的含义是：对所有图灵机，我们都要实现上边的功能。这是一个可判定问题。

如果这里是所有图灵可判定语言的图灵机，那么显然有这么一个图灵机A存在。因此为可判定。