Automatentheorie/ Programm zur automatischen Erstellung von Automaten

[NaneGW]

Weiß jemand zufällig ob es ein Programm gibt, bei dem man die Aufgabenstellung (Bedingung)für den geforderten Automaten eingeben kann und bei dem das Programm dann danach einen funktionstüchtigen Automaten selbst grafisch erstellt?

Die Programme, die ich kenne, (zum Beispiel Jflap)bei denen kann nur selbst gezeichnet werden. Zur Kontrolle und falls man mal nicht weiter kommt wäre so ein Programm schon super.

Nane

[Guybrush Threepwood]

Ein Thread pro Thema reicht.