绘制自动机的工具

Question

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

哪个是最好的工具/库？

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

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

Answer 1

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

没有更好的 - graphviz 使用 dot language 中的图作为输入（和输出等），并有一个名为 dot 的布局命令，用于布置有向图。

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

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

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

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

Answer 2

如果你想要高质量的渲染，我建议生成dot files，然后尝试dot2tex（虽然从未使用过）生成 PGF/TikZ 以与LaTeX 一起使用。这里是few examples 的 TikZ 自动机效果图。