以图灵机为基础的判定问题。用一句话描述： “是否可以判断一个程序是否可以在有限的时间内结束运行？”。 用程序员的话翻译：当我写好一个程序之后，我是否可以判断，在任意输入的情况下，这个程序会什么时候结束（中途出错或者完成）？ 艾伦·图灵证明停机问题是不可判定问题。
