次のドットファイルがあります。
digraph finite_state_machine {
pad=0.2;
{
rank=same;
node [shape = doublecircle]; q_3;
node [shape = circle];
q_1 [ label = <<b><i>q<sub>1</sub></i></b>> ];
q_2 [ label = <<b><i>q<sub>2</sub></i></b>> ];
q_3 [ label = <<b><i>q<sub>3</sub></i></b>> ];
q_1 -> q_1 [ label = <<b><i>^a</i></b>> ];
q_1 -> q_2 [ label = <<b><i>a</i></b>> ];
q_2 -> q_2 [ label = <<b><i>^b</i></b>> ];
q_2 -> q_3 [ label = <<b><i>b</i></b>> ];
}
}
そして、次の出力が得られます。
自己ループがノードの上にあり、他のエッジを越えないようにしたい。そして、可能であれば、より多くのルーピーなループ。どうすればそれを達成できますか?
私はそれを次のようにしたい: