Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial

Halting Problem - What is the halting problem decision problem?


The Halting Problem, often abbreviated as HP, can be defined as a decision problem as follows: Input: An ADA program, P, (which accepts a single number, n, as input) and an input w for P. Output: 1 if P halts when run with input w ; 0 if P runs indefinitely when started with input w.