Gibt es irgendwelche Programme und Testzustandsmaschinen zu zeichnen, Turingmaschinen, etc? [geschlossen]

Question

Als ich wieder zur Schule gehen nach Thanksgiving, werde ich die Themen wie deterministische und nichtdeterministischen endlichen Automaten, Turingmaschinen, Kellerautomaten und ein paar andere Dinge einen Kurs in der CS-Theorie statt. Allerdings habe ich keine gute Anwendung gefunden, die eine visuelle Darstellung von ihnen sowie Tests produzieren können, wie sie funktionieren (bestanden / nicht bestanden, etc). Das Beste, was ich bisher gefunden habe, ist jFlap , und ich finde es ziemlich umständlich.

Answer 1

Es war JFlap , die ich in der Schule verwendet. Ich fand es nicht so umständlich zu bedienen, aber es sieht aus wie es seitdem geändert hat. Leider habe ich keine bessere Antwort für Sie als das.

Answer 2

Ein Freund von mir verwendeten Latex, sie zu zeichnen. Ich habe immer bevorzugt Bleistift und Papier.

Answer 3

Ich bin in einer Klasse wie diese jetzt. Ich habe Papier und Bleistift als ausreichend erwiesen. Ich kann nicht sicher sagen, aber ich glaube nicht, müssen Sie dann Automaten ziehen, die zu kompliziert sind, auf einem Blatt Papier zu verstehen.

Answer 4

zog ich sie in UML und legte StarUML jpeg Exporte für eine Weile.

Dann habe ich einen PHP-Skript, um sie Format zu konvertieren DOT und verwenden Graphviz gut aussehenden Maschinen zu erhalten.

Answer 5

Simulink Stateflow®.

Massiver Overkill, natürlich.

Answer 6

IAR visual könnte von Interesse sein.