停机问题是可判定问题