2
$\begingroup$

I'm looking for a program or utility to help construct DFA/NFA/PDA etc. and the like.

The main reason I'm interested in this, is because I want to be able to move the various states around without breaking their component connections, or having to redraw all the connections to their new place (otherwise I'd be doing this by hand! :P )

Please let me know if there's a better SE site for this.

  • 0
    well, TCS $\subset$ Math is a different statement entirely. And even this is not true, imho, since maths historically and usually do not care for computability, rarely for runtimes and, in my experience, often not even logics. There is a large intersection, of course.2010-11-23

5 Answers 5

0

Have a look into the dot file format. It is a quasi-standard for graph descriptions. Once you have written down your graph, you can generate an SVG from it using e.g. graphviz and edit the result in Inkscape.

6
  • If you want to construct and test and play with your automata, you might find JFlap usefull.

  • If you want to produce images and are familiar with LaTeX then TikZ is great (TikZ automata examples)

  • If you want to produce images maybe a vector drawing tool like Inkscape

3

JFlap is a pretty useful tool.

I have also used Grapher which may be downloaded from here:

http://www.ii.pw.edu.pl/~ratajcza/csm/grapher/grapher.html

  • 0
    Grapher is perfect, thank you.2010-11-22
3

If I were attempting to draw a DFA or NFA, I would probably use Graphviz.

1

If you already have access to Mathematica, you can also use it to make images of DFAs. The recent versions have the ability to draw graphs.

  • 0
    `GraphPlot[]` and `GraphPlot3D[]` are really nice. :D2010-11-22