例如，如果我事先將所有可能的圖靈機都擺在我面前，我只需查看它們的運行規則（運行前），就能確定其中一部分圖靈機在某些明確定義的情況下永遠不會停機（即使其中許多機器仍然可能停機）。