Ví dụ: Nếu tôi có tất cả các máy Turing khả thi trước mặt mình trước khi bất kỳ máy nào hoạt động, tôi có thể xác định chỉ bằng cách nhìn vào các quy tắc của chúng (trước khi chạy) rằng một phần cố định trong số chúng không bao giờ có thể dừng lại trong một số tình huống được xác định rõ (mặc dù nhiều máy trong số đó vẫn có thể dừng lại trong các tình huống cụ thể).