ocaml - 绘制自动机的工具

Question

我正在做两个自动机的组合（实际上它是一个换能器）。因此，我想直观地表示它来分析它。

哪个是最好的工具/库？

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

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

Answer 1

人们建议我使用 dot 和 graphviz。哪个更好？

没有比这更好的了- graphviz使用点语言中的图作为输入（和输出等），并有一个名为的布局命令，用于对有dot向图进行布局。

我正在用 OCaml 编写代码。那有什么图书馆可以画吗？

我不知道 OCaml，但看起来有ocamlgraph能够创建点图 - 另请参阅这个类似的问题。看起来也有适用于某些平台的graphviz ocaml 扩展。

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

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

Answer 2

如果您想要高质量的渲染，我建议生成点文件，然后尝试dot2tex（虽然从未使用过）生成 PGF/TikZ 以与LaTeX一起使用。这里有几个TikZ 自动机渲染的例子。