Ein Programm spezifiziert die Berechnung, deren Durchführung man von einem Computer erwartet. Die Spezifikation erfolgt dabei streng in der Syntax einer bestimmten Programmiersprache. Diese Syntax ist pedantisch und unversöhnlich. Der geringste Fehler beim Schreiben des Programms kann dazu führen, daß die Berechnung fehlerhaft ist oder sie sogar abgebrochen wird. Der Grund hierfür erscheint, oberflächlich gesehen, geradezu paradox: Es ist verhältnismäßig einfach, ein System zu entwerfen, das exakte Syntax in Berechnungen umwandelt; es ist aber wesentlich schwieriger, ein System zu entwerfen, das Fehler toleriert oder einen größeren Spielraum bei Programmbeschreibungen zuläßt.