Category:Definitions/Halt
Jump to navigation
Jump to search
This category contains definitions related to Halt.
Related results can be found in Category:Halt.
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.
Pages in category "Definitions/Halt"
The following 3 pages are in this category, out of 3 total.