VLiN - Virtuelle Lehrerfortbildung in Niedersachen Kursmaterial Semesterarbeiten Zusätze Forum Sponsoren Aufgaben
 

Kurs 4- Teil 3

 

Berechenbarkeits- und Entscheidbarkeitsprobleme
anschauen

13. Turingberechenbarkeit
14. Projektvorschlag: GT - ein Simulator für gekoppelte Turingmaschinen

Turingmaschinen
anschauen

1. Einleitung
2. Definition
3. Transistionsgraph/Automatentafel
4. Simulation in Java
5. Aufgaben
6. Ein größeres Beispiel
7. Lösung - Ein weiteres Programm
8. Simulation 2
9. Eine Kopiermaschine
10. Elementarmaschinen
11. Zusammengesetzte Maschine
12. Aufgaben
13. Rekursive Funktionen
14. Aufgaben
15. Das Halteproblem
16. Churchsche These, Berechenbarkeit
17. Fleißige Biber

 
 
© VLiN 2001-2007