ocaml - 绘图自动机的工具

Question

我正在做两个自动机的组合(实际上它是一个转换器)。所以在它的背后，我想直观地表示它来分析它。

哪个是最好的工具/库？

人们建议我使用 dot 和 graphviz。哪个更好？我正在用 OCaml 编写代码。那有没有图书馆可以画那个？

这是我要绘制的示例换能器？

Answer 1

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

没有更好 - graphviz在 dot language 中使用图表作为输入(以及输出等)，并有一个名为 dot 的布局命令，用于布置有向图。

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

我不知道 OCaml，但看起来有 ocamlgraph能够创建点图 - 另请参阅 similar question .看起来也有 graphviz ocaml extensions适用于某些平台。

This is an example transducer which I want to draw?

不确定问题是什么，但这张图看起来像是用 graphviz 制作的。