Bewertung: Behauptung: Jedes Programm lässt sich um mindestens eine Anweisung kürzen. Jedes Programm hat mindestens einen Fehler. Durch Induktion können wir schliessen: Jedes Programm ist reduzierbar auf eine Anweisung, die nicht funktioniert... Bewerten:

In der Datenbank sind noch keine Einträge vorhanden!