Search code examples
ocamlvisualizationgraphvizdotautomaton

Tool for drawing automaton

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?

enter image description here

Solution

  • 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.