繪圖自動機的工具

Question

我正在做兩個自動機（實際上它是一個傳感器）的組成。因此，我想直觀地表示它來分析它。

哪一個是最好的工具/庫相同？

人們建議我點和graphviz。哪個更好？我在OCaml中編寫代碼。這有沒有圖書館來繪製？

這是我想繪製的示例換能器嗎？

Answer 1

人都建議我點和graphviz的。哪個更好？

沒有更好 - graphviz使用在dot language曲線圖作爲輸入（和輸出等等），並具有稱爲dot的佈局命令，該命令規定了有向圖。

我在OCaml中編寫代碼。這有沒有圖書館來繪製？

我不知道OCaml的，但它看起來像有​​它能夠創建點圖 - 又見這similar question。 它也看起來像graphviz ocaml extensions可用於某些平臺。

這是我想繪製的示例換能器嗎？

不確定問題是什麼，但是這個圖看起來像是用graphviz創建的。

Answer 2

如果您想要高質量的效果圖，我建議生成dot files，然後嘗試dot2tex（儘管從未使用過）生成PGF/TikZ以便與LaTeX一起使用。這裏是TikZ自動機渲染的few examples。