Turing machine
在可计算性理论中，总是停机的机器也叫做判定器（，1996年）或全图灵机（，1997年）是对所有输入总是停机的图灵机。