engl.: termination

Man sagt, die Ausführung eines Algorithmus terminiert, wenn sie nach endlich vielen Schritten beendet ist; andernfalls spricht man von einer nicht-terminierenden Ausführung.