Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:terminierung

Terminierung

engl.: termination

Bedeutung

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.

glossar/terminierung.txt · Zuletzt geändert: 2014/09/24 16:43 (Externe Bearbeitung)