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: 2015/10/05 16:55 (Externe Bearbeitung)