Modellierungssoftware für Automaten

[Mr. White]

Hi,

ich muss zur Zeit viele Sprachen und dazu entsprechende Automaten (DEA, NEA) entwerfen, die Wörter dieser Sprache akzeptieren. Für Sprachen mit kleinen Wortmengen, habe ich dies bisher auf Papier getan, aber das wird zunehmend unpraktischer, weil die Zustandsmenge explodiert ist.
Kennt hier jemand möglichst kostenlose Software, womit ich die Automaten hübsch darstellen kann? Am besten mit einem Anchor-System, damit Vergrößerungen/-kleinerungen/-schiebungen nicht so viel Arbeit mit sich bringen.



EDIT:
Hat sich erledigt. Ich schieße mit Kanonen auf Spatzen: MiKTeX mit Tikz