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?

There is no better – graphviz uses graphs in the dot language as input (and output among others), and has a layout command called
dotwhich lays out directed graphs.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.
Not sure what the question is, but this graph looks like it has been made with graphviz.