私は2つのオートマトンの合成を行っています（実際にはトランスデューサーです）。それで、その時点で、それを視覚的に表現して分析したいと思います。
同じための最良のツール/ライブラリはどれですか？
人々は私にドットとgraphvizを提案しました。どちらが良いですか？私はOCamlでコードを書いています。それを描くためのライブラリはありますか？
これは私が描きたいトランスデューサーの例ですか？
2 に答える
5
人々は私にドットとgraphvizを提案しました。どちらが良いですか？
これ以上の方法はありません。graphvizはドット言語のグラフを入力（および特に出力）として使用し、有向グラフをレイアウトするというレイアウトコマンドを持っています。dot
私はOCamlでコードを書いています。それを描くためのライブラリはありますか？
OCamlはわかりませんが、ドットグラフを作成できるocamlgraphがあるようです。この同様の質問も参照してください。また、一部のプラットフォームで利用可能なgraphvizocaml拡張機能があるようです。
これは私が描きたいトランスデューサーの例ですか？
質問が何であるかはわかりませんが、このグラフはgraphvizで作成されたように見えます。
于 2012-06-26T19:05:00.403 に答える
2
高品質のレンダリングが必要な場合は、ドットファイルを生成してから、 dot2texを試して（ただし、使用したことはありません）、 LaTeXで使用するPGF/TikZを生成することをお勧めします。ここにTikZオートマトンレンダリングのいくつかの例があります。
于 2012-06-26T19:14:38.837 に答える