| Line 1: | Line 1: | ||
| − | + | according to wikipedia, the halting problem is a decision problem about properties of computer programs on a fixed Turing-complete model of computation. The problem is to determine, given a program and an input to the program, whether the program will eventually halt when run with that input. In this abstract framework, there are no resource limitations of memory or time on the program's execution; it can take arbitrarily long, and use arbitrarily much storage space, before halting. The question is simply whether the given program will ever halt on a particular input. | |
| − | given a | + | |
| − | with | + | |
| − | + | ||
| − | + | ||
| − | --[[User: | + | --[[User:kim297|kim297]] |
Revision as of 00:00, 22 November 2008
according to wikipedia, the halting problem is a decision problem about properties of computer programs on a fixed Turing-complete model of computation. The problem is to determine, given a program and an input to the program, whether the program will eventually halt when run with that input. In this abstract framework, there are no resource limitations of memory or time on the program's execution; it can take arbitrarily long, and use arbitrarily much storage space, before halting. The question is simply whether the given program will ever halt on a particular input.
--kim297
