ȟ0t&040t&
Turing-Maschinen: ein abstrakes Maschinenmodell
Berechnungen einer TM
Beispiel
While-Berechenbarkeit
Goto-Berechenbarkeit
Ein Goto-Programm fr die Multiplikation
quivalenz der Przisierungen von Berechenbarkeit
Nicht berechenbare Funktionen: ein Beispiel
E-Mail: der@informatik.uni-leipzig.de
Homepage: http://www.informatik.uni-leipzig.de/~der