Loops rendered by graphviz messy

Question

Я пытаюсь сгенерировать автоматы с одним состоянием и четырьмя собственными ребрами. Основной код точки выглядит следующим образом:

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 отображает их на одной стороне. Как это исправить?

Токовый выход:

мне нужно что-то вроде этого:

Любая помощь приветствуется!

Answer 1

С помощью rankdir="RL" и соединить с востока на запад (T:e -> T:w) вы получаете довольно близко к тому, что вы ищете:

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