若图灵机 M 对所有输入都停机, 则称 M 为判定器.