Arbitrary computer programs, or Turing machines, cannot in general be analyzed to see if they halt or not (the halting problem).
Произвољни компјутерски програми, или Тјурингове машине, не могу уопште да се анализирају да виде да ли се зауставља или не (на обуставу проблема).