例如，如果我事先将所有可能的图灵机都摆在我面前，我只需查看它们的运行规则（运行前），就能确定其中一部分图灵机在某些明确定义的情况下永远不会停机（即使其中许多机器仍然可能停机）。