Aussagen über Algorithmen:
Ø Voraussetzungen
· unter welchen Bedingungen arbeitet der Algorithmus?
- Menge aller erlaubten Eingaben
- Menge aller möglichen Ausgaben (bei erlaubten Eingaben)
· Was geschieht bei falscher Eingabe
Ø Termination
· endet ein Algorithmus für alle möglichen Eingaben? Beweis!
· Ist es möglich, den Algorithmus in einen nicht-endenden Zyklus
zu bringen?
Ø Korrektheit
· „Übereinstimmung“ Algorithmus - Prozess?
· liefert der Algorithmus bei Ausführung die richtige Ausgabe als
Funktion der Eingabe?