Vervollständigung (basic)

...ist Algorithmus mit dieser Spezifikation

Implementierung: zusätzliche Eingabe: eine wfmA A Korrektheit? Termination? beachte: 3 Fehlermöglichkeiten