halting problem
The problem of deciding in finite time whether a given program will finish running in finite time, when given a certain finite input.
Noun
- The problem of deciding in finite time whether a given program will finish running in finite time, when given a certain finite input.