Das Halteproblem beschäftigt sich mit der Frage, ob eine Turingmaschine (oder beliebiges anderes Rechnermodell) auf einem Eingabewort terminiert oder unendlich lange läuft.
Das Halteproblem ist unlösbar. Das heißt, dass kein Algorithmus existiert, der für einen beliebigen Algorithmus und beliebige Eingabe entscheiden kann, ob dieser terminiert oder nicht.
Hoffe das hilft dir ;)