VariousWords beta
Related Terms:
Noun
Definition: The problem of deciding in finite time whether a given program will finish running in finite time, when given a certain finite input.
VariousWords beta
Definition: The problem of deciding in finite time whether a given program will finish running in finite time, when given a certain finite input.