Делаю композицию из двух автоматов (на самом деле это преобразователь). Итак, в конце я хочу визуально представить это, чтобы проанализировать его.
Какой лучший инструмент / библиотека для того же?
Люди предложили мне dot и graphviz. Что лучше? Я пишу код в OCaml. У этого есть какая-нибудь библиотека, чтобы нарисовать это?
Это пример преобразователя, который я хочу нарисовать?
Люди предложили мне dot и graphviz. Что лучше?
Нет ничего лучше — graphviz использует графики в язык точек в качестве входных данных (и выходных среди прочего), а также имеет команду компоновки под названием dot, которая размещает ориентированные графы.
Я пишу код в OCaml. У этого есть какая-нибудь библиотека, чтобы нарисовать это?
Я не знаком с OCaml, но похоже, что существует ocamlgraph, который может создавать точечные графики - см. также этот похожий вопрос. Также похоже, что для некоторых платформ доступны расширения Graphviz ocaml.
Это пример преобразователя, который я хочу нарисовать?
Не уверен, в чем вопрос, но этот график выглядит так, как будто он был сделан с помощью graphviz.
Если вам нужна качественная визуализация, я предлагаю создать точечные файлы, а затем попробовать dot2tex (никогда не использовал его) для создания PGF/TikZ для использования с LaTeX. Вот несколько примеров визуализации автоматов TikZ.
