我正在尝试生成一个具有单个状态和4个自我边缘的自动机。基本的点代码如下所示:
digraph G {
splines=true;
overlap=scalexy;
rankdir="BT";
T[label="0" shape=doublecircle]
T -> T [label="a:a"];
T -> T [label="b:b"];
T -> T [label="a:"];
T -> T [label="a:"];
}
输出非常混乱,尝试像minlen
这样的参数没有帮助(它似乎没有改变任何东西)。我还希望边缘显示在顶部/垂直方向,但graphviz在一侧显示它们。我该如何解决?
当前输出:
我需要这样的东西:
任何帮助表示赞赏!