图灵可识别

假设有语言A，如果能设计出一台图灵机M，对于任意字符串ω，如果ω∈A，那么M读取ω后会进入接受状态，那么A是一个图灵可识别语言。注意这个定义对于ω不属于A的情况没有做出限制，所以M读取到不属于A的ω，那么它有可能拒绝，也有可能循环。

其中课本有这么一句话，有时候，很难区分机器是进入了循环还是消耗长时间的运行。

这就产生了一个问题：那么进入了循环时，我们怎么知道是否接受呢？

注意：这里考虑问题的角度不对，我们应该是ω∈A的角度开始，其他的都不考虑。如果ω∈A，一定会在有限的时间接受。

对于ω不属于A，根本不需要考虑。