Definition, synonyms and related words
The problem of deciding in finite time whether a given program will finish running in finite time, when given a certain finite input.