Turingmaschinensimulatoren
Turingmaschinensimulatoren
Turingmaschinensimulatoren
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
24.12.2006<br />
<strong>Turingmaschinensimulatoren</strong><br />
• Ziele und praktische Anwendung<br />
– Simulatoren richten sich an Schüler/innen und<br />
Studierende, die das Berechnungsmodell der Turing-<br />
Maschinen ausprobieren möchten.<br />
– Mit Simulatoren lassen sich auf anschauliche Weise<br />
die typischen Aufgaben rund um Turing-Maschinen<br />
illustrieren
24.12.2006<br />
Anforderungen an Simulatoren<br />
• Zustandstabelle<br />
• Beidseitiges unendliches Band<br />
• Virtuell unbegrenzte Anzahl von Zuständen<br />
• Verschiedene Geschwindigkeiten – Regelung<br />
• Graphische Repräsentation und Animation<br />
• Graphischer Editor für das Zustandsdiagramm<br />
• Freie Wahl beim Alphabet<br />
• Freeware
24.12.2006<br />
Turing-Simulator der Uni-Wuppertal<br />
http://www.matheprisma.uni-wuppertal.de/Module/Turing/index.htm
24.12.2006<br />
Turing-Simulator der Uni-Wuppertal<br />
http://www.matheprisma.uni-wuppertal.de/Module/Turing/index.htm
24.12.2006<br />
Turing-Simulator von Suzanne Britton<br />
http://ironphoenix.org/tril/
24.12.2006<br />
Turing-Simulator der FH-Wiesbaden<br />
http://wap03.informatik.fh-wiesbaden.de/weber1/turing/tm.html
24.12.2006<br />
Der fleißige Biber Simulator der Uni-Stuttgart<br />
http://www.fmi.uni-stuttgart.de/ti/projects/beaver/bbb.html#Simulator
24.12.2006<br />
Simulator der Princeton University<br />
http://www.cs.princeton.edu/introcs/75turing/
24.12.2006<br />
Turing Machine Simulator Program<br />
http://userpages.wittenberg.edu/bshelburne/Turing.htm
24.12.2006<br />
Turing Machine (C++ Simulator)<br />
http://sourceforge.net/projects/turing-machine
24.12.2006<br />
JKTuring 1.0 von Jan Krieger<br />
http://www.jkrieger.de/software/tools/jkturing.html
24.12.2006<br />
Die Turing - Maschine 1.0<br />
http://www.mathe-erleben.de/tur.php
24.12.2006<br />
Turingmaschine Simulationsprogramm<br />
http://www.joefox.de/index.php?key=turing
24.12.2006<br />
Visual Turing<br />
http://cheransoft.com/vturing/index.html
1<br />
2<br />
3<br />
4<br />
#<br />
a; R; 2<br />
a; L; 1<br />
a; R; S<br />
a; R; 4<br />
24.12.2006<br />
a; L; 2<br />
#; L; 3<br />
a; L; 4<br />
#; R; 1<br />
a<br />
Visual Turing<br />
Biber mit vier Zuständen und dreizehn „a“
24.12.2006<br />
TuringKara der ETH-Zürich<br />
http://www.swisseduc.ch/informatik/karatojava/turingkara/
24.12.2006<br />
JFLAB (Duke University)<br />
http://www.cs.duke.edu/~rodger/tools/ oder http://www.jflap.org/
•Online<br />
24.12.2006<br />
Fazit und Demonstration<br />
– Turing-Simulator der Uni-Wuppertal<br />
– Turing-Simulator von Suzanne Britton<br />
• Offline<br />
– JFLAB (Duke University) (gibt es auch online)<br />
– Turingmaschine von Gregor Buchholz