如何绘制自动机图？

Question

根据很多人给我的建议，我使用了graphviz，但我遇到了问题。我想使用Format.module 在ocaml 中写一个点，并且我有一个包含五个字段的记录，这些字段定义了一个自动机，包括由int*char*int 列表表示的转换和由@987654327 表示的最终状态@ 列表。第一个字段是初始状态，即一个int。我还定义了一个函数成员，它接受一个参数并测试它是否是给定列表的成员。我该怎么做才能编写一个完整的点来识别初始状态并用节点[shape = point]start ; start -> x 表示它，以及用圆表示的其他转换和用双圆表示的最终状态？我试过这样做，但我遇到了问题当我编译它时，它说

文件“automatagraphicstest1.ml”，第 44 行，字符 22-37：错误： 这个表达式有类型 自动化 -> Format.formatter -> int * char * int -> unit 但是需要一个 Format.formatter -> 'a -> unit 类型的表达式 自动类型与 Format.formatter 类型不兼容

Answer 1

要修复您的类型错误，只需将 fmt_transitions 函数替换为：

let fmt_transitions fmt auto =
  Format.fprintf fmt "@[<v 2>digraph output {@,%a@,@]}@,@."
    (Format.pp_print_list (fmt_transition1 auto)) auto.transitions

您的问题是 pp_print_list 需要 Format.formatter -> 'a -> unit 类型的东西。您的函数fmt_automaton1 将自动机作为额外的第一个参数，因此我们需要先部分应用它，然后我们才能提供转换列表。