Turing- und Automatensimulator

CoAn - Compiler und Automaten Netzwerksimulator



Downloads:
qcoan Version 2.0
(Turingsimulator & Automatensimulator)
SourceCodes als tar.bz2, und als .zip Windows Executable, ucrtbased.dll Linux Compilate
CoAn LE Version 1.1
(Turingsimulator & Automatensimulator)
Windows Executable (update 19.03 2004)  
CoAn TLE Version 1.0
(Turingsimulator)
Executable Doku. und Bsp.
(Michael Leitner)


jetzt **neu** in Version 2.0: vollständig in C++/Qt für Linux und Windows, nichtdeterministische Turingmaschinen, mehrbuchstabige Übergänge und Übergänge mit Zeichenmengen für endliche Automaten, parameterisierte Maschinenschemata mit Hochzahlen für mehrmalige Wiederholung eines Automaten.

Hinweis: Öffnen Sie Test2.atm für Beispiele. Wenn sich das Programm unter Windows nicht starten läßt kopieren Sie zusätzlich ucrtbased.dll in das coan-2.0-exe Verzeichnis.

Vollständiger Automatensimulator mit Simulation von endlichen Automaten, Kellerautomaten, Turingmaschinen und Maschinenschemata. Simulation von deterministischen und nicht deterministischen Automaten (alle gleichzeitig aktiven Zustände werden gelb angezeigt). Nichtdeterministische Stapelautomaten werden unter Anzeige aller möglichen Stapelinhalte zu einem bestimmten Aktivierungszustand simuliert. Mit Maschinenschemata lassen sich auch komplizierte Turingmaschinen simulieren und bauen. Übersichtliche Baumstruktur um mehrer Automaten in einer Datei zu speichern.

Motivation: qCoAn ist ein Programm zum Simulieren nicht-deterministischer Kellerautomaten und Turingmaschinen. Diese Maschinen werden in der theoretischen Informatik definiert. Endliche Automaten werden für reguläre Ausdrücke und Kellerautomaten bspw. zum Parsen von Programmiersprachen verwendet. Turingmaschinen finden als Modell der Berechenbarkeit Verwendung und um unbeschränkte oder kontextsensitive Grammatiken zu implementieren wie z.B. Ax → xA. Das Programm kann derzeit zur Modellierung, zum Design und für Lehrzwecke verwendet werden. Nichtsdestoweniger ist es geplant eine Konsolenversion von qcoan herauszubringen, die dann direkt zum Erkennen regulärer Ausdrücke und als Mini-Parser eingesetzt werden kann. Die Implementierung besteht aus drei Schichten, sodaß das Programm auch ohne grafischer Oberfläche kompiliert werden kann.

folgende Abkürzungen sind gebräuchlich: PDA - pusdown automaton (i.e. Kellerautomat), DFA - deterministic finite automaton (endlicher Automat, deterministisch), NFA - non-deterministic finite automaton (nichtdeterministischer endlicher Automat), NPDA non-deterministic pushdown automaton (nichtdeterministischer Kellerautomat), NDTM non-deterministic Turing Machine (nichtdeterministische Turingmaschine)


Vortrag über CoAn am 8.März 2004 um 1800 im Seminarraum E142, Uni Klu
Vortragsfolien (update 19.03)