Definition:Halt

Definition

A program $P$ set up to solve a problem is said to halt if and only if either of the following is the case:

$(1) \quad P$ solves the problem

$(2) \quad P$ determines that the problem cannot be solved.

Also known as

When a program is said to halt, is can also be said to terminate.

Also see

• Results about halt can be found here.

Sources

• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): halting problem
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): halting problem