Stopproblemet
Från Unix.se, den fria unixresursen.
Stopproblemet innebär att man, givet en algoritm och dess indata, ska avgöra hurvida algoritmen någonsin avslutas eller om den fortsätter i en oändlig loop.
1936 visade Alan Turing att en generell metod för att avgöra detta för godtycklig indata inte existerar.
[edit]
Se även
- Understanding the Halting Problem (http://www.cgl.uwaterloo.ca/~csk/washington//halt.html)