halting problem

名词noun

1. 1(computer science) The problem of deciding in finite time whether a given program will finish running in finite time, when given a certain finite input.