Loops von Graphviz gerendert sind chaotisch

Question

Ich versuche, einen Automaten mit einem einzigen Zustand und 4 Self-Kanten zu generieren. Der Basispunkt Code sieht wie folgt aus:

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:"]; 
} 

Der Ausgang ziemlich chaotisch ist und Ausprobieren Parameter wie minlen hat nicht geholfen (es scheint nicht, etwas zu ändern). Ich möchte auch, dass die Kanten oben/in vertikaler Richtung angezeigt werden, aber graphviz zeigt sie auf einer Seite an. Wie behebe ich das?

Stromausgang:

Ich brauche etwas wie folgt aus:

Jede Hilfe dankbar!

Answer 1

von rankdir="RL" mit und von Ost nach West verbinden (T:e -> T:w) Sie ziemlich nahe kommen, was Sie suchen:

digraph G { 
    splines=true; 
    overlap=scalexy; 
    rankdir="RL"; 
    T[label="0" shape=doublecircle] 
    T:e -> T:w [label="a:a"]; 
    T:e -> T:w [label="b:b"]; 
    T:e -> T:w [label="a:ε"]; 
    T:e -> T:w [label="b:ε"]; 
}