One of my favorites...<p><a href="https://web.stanford.edu/class/archive/cs/cs103/cs103.1142/button-fsm/" rel="nofollow">https://web.stanford.edu/class/archive/cs/cs103/cs103.1142/b...</a>
You might want to add graphviz/digraph export (and possibly import). It's a pretty decent format for this kind of task, supported by several IRL tools.<p>Oh ... 2010. I guess it's not actively being maintained.
Check out automatarium - <a href="https://automatarium.tdib.xyz/" rel="nofollow">https://automatarium.tdib.xyz/</a>
It can do finite state automata, pushdown automata and turning machines. We use it for computing theory classes at RMIT, and it was built by RMIT students.
Is there a way to subscript double-digit numbers? I tried S_{10} but it doesn't seem to work.<p>Edit: Kinda hacky/unintuitive but you can type S_1_0
I remember this! It was one of my inspirations for creating a hierarchical state machine editor [0] and a state machine library with a visualization layer [1].<p>[0] <a href="https://state.new" rel="nofollow">https://state.new</a>
[1] <a href="https://github.com/statelyai/xstate">https://github.com/statelyai/xstate</a>
This is a handy tool, but I wish it supported edge snapping. If you inspect the generated LaTeX it doesn't actually link up the FSM states, it just anchors them to raw TikZ coordinates.