Für einzelne Algorithmen und Eingaben ist das ''Halteproblem'' entscheidbar, im Allgemeinen jedoch nicht.
''theoretische [[Informatik]]:'' Fragestellung, ob die Ausführung eines [[Programm]]s bei einer bestimmten [[Eingabe]] zu einem Ende gelangt ([[terminieren|terminiert]])