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.

Se även

Personliga verktyg