Esistono programmi per disegnare e testare macchine a stati, macchine da turismo, ecc.? [chiuso]

Question

Quando torno a scuola dopo il Ringraziamento, seguirò un corso di Teoria del CS su argomenti come macchine a stati finiti deterministici e non deterministici, macchine di turing, automi pushdown e poche altre cose. Tuttavia, non ho trovato una buona applicazione in grado di produrne una rappresentazione visiva e di testarne il funzionamento (passa / fallisci, ecc.). Il migliore che ho trovato finora è jFlap e lo trovo piuttosto imbarazzante.

Answer 1

È stato JFlap che ho usato al college. Non l'ho trovato così scomodo da usare, ma sembra che potrebbe essere cambiato da allora. Mi dispiace non ho una risposta migliore per te di quella.

Answer 2

Un mio amico ha usato Latex per disegnarli. Ho sempre preferito carta e matita.

Answer 3

Sono in una classe come questa in questo momento. Ho trovato carta e matita sufficienti. Non posso dirlo con certezza, ma non credo che ti verrà richiesto di disegnare automi troppo complicati da capire su un foglio di carta.

Answer 4

Li ho disegnati in UML e ho inviato le esportazioni jpeg di StarUML per un po '.

Quindi ho scritto uno script PHP per convertirli in formato DOT e ho usato Graphviz per ottenere macchine di bell'aspetto.

Answer 5

Simulink Stateflow.

Enorme sovraccarico, ovviamente.

Answer 6

IAR visualSTATE potrebbe essere interessante.