Are there any programs to draw and test state machines, turing machines, etc? [closed]

Question

When I go back to school after Thanksgiving, I'll be taking a course in CS Theory covering topics such as deterministic and nondeterministic finite state machines, turing machines, pushdown automata and a few other things. However, I haven't found a good application that can produce a visual representation of them as well as testing how they work (pass/fail, etc). The best that I've found so far is jFlap, and I'm finding it rather awkward.

Answer 1

It was JFlap that I used in college. I didn't find it that awkward to use, but it looks like it may have changed since then. Sorry I don't have a better answer for you than that.

Answer 2

A friend of mine used Latex to draw them. I always preferred pencil and paper.

Answer 3

I'm in a class like this right now. I've found paper and pencil to be sufficient. I can't say for sure, but I don't think you'll be required to draw automata that are too complicated to understand on one sheet of paper.

Answer 4

I drew them in UML and submitted StarUML jpeg exports for a while.

Then I wrote a PHP script to convert them to DOT format and used Graphviz to get nice-looking machines.

Answer 5

Simulink Stateflow.

Massive overkill, of course.

Answer 6

IAR visualSTATE might be of interest.