Werkzeuge zur theoretischen Informatik

• FLACI

FLACI ist ein Forschungs- und Entwicklungsprojekt der Pädagogischen Hochschule Schwyz und der Hochschule Zittau/Görlitz. Die Website ermöglicht im Browser die Entwicklung von Auto- maten, Sprachen, Grammatiken etc.

Download unter https://flaci.com/

• JFlap

Ein vielseitiges grafisches Simulationsprogramm für Themen der theoretischen Informatik, wie z. B. Endliche Automaten, Turingmaschinen und Grammatiken.

Download unter https://jflap.org/

• Turing-Werkstatt

  von Ulrich Mayr

Turing-Werkstatt 2.3 (zip-Archiv; 2,2 MB) bietet ein Windows-Programm zur Simulation von Turing-Maschinen und Anregungen zum Entwickeln von Algorithmen. CH-3 (zip-Archiv; 3,4 MB) ist ein Windows-Programm zur Simulation von endlichen Akzeptoren.

Download auch unter  www.heise.de/download/product/turing-werkstatt
oder www.turing-werkstatt.de

• Turing-Simulator

von Patrick Breuer

Ein leistungsstarkes Simulationsprogramm für Turingmaschinen

Kurzanleitung : Turing-Simulator.pdf  (117 K)
Download:  Turing-Simulator.zip (370 K)

• TuringKara  

TuringKara richtet sich an Schüler/innen und Studierende, die das Berechnungsmodell der Turing-Maschinen ausprobieren möchten. Eine grosse Spannbreite von Aufgaben – vom Invertieren eines Bitstrings über die Addition von Binärzahlen bis hin zur Universellen Turing-Maschine – erlaubt den Einsatz von TuringKara auf verschiedenen Stufen. Erfahrung mit der Umgebung Kara erleichtert den Einstieg in TuringKara.

Download unter www.swisseduc.ch/informatik/karatojava/turingkara/index.html