绘制自动机的工具

Question

我正在做两个自动机的组合(实际上它是一个换能器).所以,就此而言,我希望在视觉上代表它来分析它.

哪个是最好的工具/库？

人们建议我使用dot和graphviz.哪个更好？我在OCaml中编写代码.那是否有任何图书馆可以绘制？

这是我想要绘制的示例传感器？

Answer 1

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

没有更好的 - graphviz使用点语言中的图形作为输入(以及其他输出),并且有一个布局命令,用于布置有dot向图.

我在OCaml中编写代码.那是否有任何图书馆可以绘制？

我不知道OCaml,但看起来有ocamlgraph可以创建点图 - 也见这个类似的问题.它看起来似乎有一些平台可用的graphviz ocaml扩展.

这是我想要绘制的示例传感器？

不知道问题是什么,但这张图看起来像是用graphviz制作的.