 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
Ø |
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?
|
|