绘制自动机的工具

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自动机渲染图。