Schwesterprojekte Kreuzworträtsel Spiele Mehr ... | Behauptung:Jedes Programm läß sich um eine Anweisung kürzen. Jedes Programm hat mindestens einen Fehler. Durch Induktion können wir schließen: Jedes Programm ist reduzierbar auf eine Anweisung, die nicht funktioniert. 2 Kommentare · Einzelansicht |