Behauptung: Jedes Program

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…

(bisher nicht bewertet)
Loading...

Werbung

Leave a comment

Deine E-Mail-Adresse wird nicht veröffentlicht.


*