Tool for drawing automaton

Question

I am doing composition of two automaton (Actually it is a transducer). So at the of it, I want to visually represent it to analyze it.

Which is the best tool/library for the same?

People have suggested me dot and graphviz. Which is better? I am writing code in OCaml. Does that have any library to draw that?

This is an example transducer which I want to draw?

Answer 1

People have suggested me dot and graphviz. Which is better?

There is no better - graphviz uses graphs in the dot language as input (and output among others), and has a layout command called dot which lays out directed graphs.

I am writing code in OCaml. Does that have any library to draw that?

I don't know OCaml, but it looks like there is ocamlgraph which is able to create the dot graphs - see also this similar question. It also looks like there are graphviz ocaml extensions available for some platforms.

This is an example transducer which I want to draw?

Not sure what the question is, but this graph looks like it has been made with graphviz.

Answer 2

If you want high-quality renderings I suggest to generate dot files and then try dot2tex (never used it though) to generate PGF/TikZ to use with LaTeX. Here a few examples of TikZ automata renderings.