[FoSAP] Visual Automata Simulator

[FoSAP] Formale Systeme, Automaten, Prozesse
[BuK] Berechenbarkeit und Komplexität
[MaLo] Mathematische Logik

Visual Automata Simulator

Beitragvon Cuthbert » 03.06.08 09:19

Für die Leute die Ihre Hausaufgaben gerne TeXen mal ein kleines Tool, um Automaten (und Touringmaschinen) zu erstellen und auch zu testen:

Download

Da es eine Java-Applikation ist läuft es auch auf jedem System.

Grüzze
============Vorläufig============
There are 10 types of people on earth.
Those who understand binary and those who don´t.
============Vorläufig============
Benutzeravatar
Cuthbert
 
Beiträge: 11
Registriert: 03.11.07 20:03

Beitragvon Eichhoernchen » 03.06.08 10:10

Zum TeXen, kann ich auch das Tikz package empfehlen, damit lassen sich die Automaten auch sehr gut TeXen.
Eichhoernchen
 
Beiträge: 47
Registriert: 25.11.07 15:32
Wohnort: Hagen/Aachen

Beitragvon Cornflake » 03.06.08 10:14

Jau, Tikz benutze ich auch, sobald man den ersten Automaten fertig hat ist es doch sehr gut.
!!! Nothing in this world that's worth having comes easy !!!
Benutzeravatar
Cornflake
 
Beiträge: 123
Registriert: 20.02.08 21:08
Wohnort: Erkelenz

Beitragvon Coolcat » 03.06.08 11:01

Ich benutze für meine Seminararbeit das Programm Dia. Das kann nach EPS exportieren und auch als LaTeX Code (PSTricks oder PGF) exportieren. Wobei letzteres in meinem Versuch etwas verschobene Schriften produzierte. Aber vielleicht hab ich nur irgendwas falsch gemacht. Das sich aber auch EPS in LaTeX einbinden lässt, dürfte das kein Problem sein.
My software never has bugs. It just develops random features.
Benutzeravatar
Coolcat
Promoter
 
Beiträge: 2574
Registriert: 28.11.05 21:26
Wohnort: Kohlscheid / Düsseldorf
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: BWL

Beitragvon Cuthbert » 03.06.08 15:40

Dia habe ich persönlich auch zuhause auf meinem Windows-Rechner, nur leider bring es mir unter Mac nichts, zumindest habe ich noch keine Mac-Version gefunden.
Nutze deshalb yEd, was sehr ähnlich ist.

Das kann nach EPS exportieren und auch als LaTeX Code (PSTricks oder PGF) exportieren.


Das ist mit VAS übrigens auch möglich.
============Vorläufig============
There are 10 types of people on earth.
Those who understand binary and those who don´t.
============Vorläufig============
Benutzeravatar
Cuthbert
 
Beiträge: 11
Registriert: 03.11.07 20:03

Beitragvon Maui » 23.06.08 10:57

Kann imho zwar kein eps usw. exportieren, aber zum üben von allerlei Krempel rund um Automaten und Sprachen empfehle ich wärmstens JFLAP. Ebenfalls Java basiert.
Benutzeravatar
Maui
 
Beiträge: 19
Registriert: 02.09.07 23:55
Wohnort: Aachen


Zurück zu Theoretische Informatik