Was bedeutet Terminiertheit?

2 Antworten

Vom Gefühl her würde ich sagen, Terminiertheit bedeutet, dass etwas beendet wurde.

Ein Algorithmus terminiert (auf einer bestimmten Eingabe x), wenn er nach endlicher Zeit ein Ergebnis liefert. Sei beispielsweise folgender Algorithmus gegeben, um die Quadratwurzel einer Zahl x zu bestimmen:

Prüfe ob x größer oder gleich null ist
    wenn dem so ist
        gebe Wurzel x in den Taschenrechner ein
        das Ergebnis ist dasjenige des Taschenrechners
    wenn dem nicht so ist
        wiederhole unendlich
            tue nichts

Für Eingaben kleiner als 0 terminiert der Algorithmus nicht. Damit stellen wir sicher, dass der Algorithmus immer korrekt ist und nur Zahlen als Ergebnis liefert (wir kennen imaginäre Zahlen nicht).

Woher ich das weiß:Studium / Ausbildung – Germanistik im Nebenfach