Terminiertheit ist ein Begriff aus der
Berechenbarkeitstheorie, einem Teilgebiet der
theoretischen Informatik. Man sagt, ein
Algorithmus terminiert für die Eingabe a, wenn er für die Eingabe a nach endlich vielen Arbeitsschritten zu einem Ende kommt, so dass die Berechnung in endlicher Zeit abgeschlossen wird. Man sagt, der Algorithmus
terminiert überall oder
ist terminierend, wenn er für jede Eingabe terminiert. Dabei wird keine für alle Eingaben gemeinsam gültige Obergrenze für die Anzahl der ausgeführten Arbeitsschritte gefordert.