Home -> CH-3


Turing-Werkstatt

Theoretische Informatik am PC


O.Pletsch 1862

CH-3
ein Windows-Programm (Win7 - Win10) zur Simulation endlicher Akzeptoren

CH-3.zip laden

Kurzanleitung lesen

Screenshot

Das Archiv CH-3.zip enthält das Programm CH-3.exe, Version 1.1 , eine Kurzanleitung und einige Beispiele. Nach dem Entpacken ist das Programm ohne Installation lauffähig.

Eigenschaften

Konstruktion von Übergangsgraphen endlicher Akzeptoren
( deterministische, nicht-deterministische Akzeptoren
und solche mit Epsilon-Übergängen )

Kontrolle der Simulation
durch Vorlauf, Rücklauf

Im Simulator können Worte überprüft und erzeugt werden.
Bestimmung erreichbarer Zustände ( Reichweite ),
Vergleich zweier Akzeptoren durch parallele Simulation,
Umwandlung eines nicht-deterministischen Akzeptors in einen äquivalenten deterministischen,
Minimierung durch Beseitigung äquivalenter Zustände

Dokumentation der Beispiele
durch Ausgabe der Befehle in eine Textdatei.

Nutzungsbedingungen

CH-3.exe darf im Unterricht und zu privaten Zwecken kostenlos genutzt, kopiert und weitergegeben werden.  Jede Art kommerzieller Nutzung ist untersagt.
Das Programm wurde mit größtmöglicher Sorgfalt geplant. Trotzdem können Fehler nicht ausgeschlossen werden. Der Nutzer übernimmt die Verantwortung für alle Folgen bei der Verwendung des Programms. 

Entstehung

Die Simulation von endlichen Akzeptoren mit Turing-Werkstatt ist eine eher langweilige Geschichte, da man das Geschehen am zugehörigen Übergangsgraphen nicht verfolgen kann. Um dem abzuhelfen habe ich CH-3 entwickelt. Mit CH-3 können nun Zustandsgraphen endlicher Akzeptoren konstruiert und simuliert werden.


Letzte Änderung : 10.1.2017