Le positionnement des Nœuds Avec `{rang=même ...}` Effets Secondaires

J'ai un graphique définie comme suit:

digraph G {
    rankdir=LR
    node[shape=circle]
    q_[shape=none label=""]
    q3[shape=doublecircle]
    q4[shape=doublecircle]
    q_->q0
    q0->q1[label="λ"]
    q0->q2->q4[label=a]
    q1->q4->q2[label=b]
    q1->q3[label=a]
    q3->q4[label="λ"]
    {rank=same; q4 q3}
    {rank=same; q1 q2}
}

Le graphique sorties de l'image suivante:

Le positionnement des Nœuds Avec `{rang=même ...}` Effets Secondaires

Vous pouvez jouer avec le graphique ici: http://graph.gafol.net/derive/effpjWfSD

Ma question est:

Pourquoi est-t4 pointant vers t3 dans le rendu graphique et non pas la façon dont je l'ai indiqué dans le balisage? Est-ce parce que {rank=same; q4 q3} a plus de sens sémantique que juste positionnement des nœuds? Si c'est le cas, comment puis-je positionner les nœuds de sorte que la sortie n'est pas aussi horrible que la sortie est sans l'aide de {rank=same; ...}?

InformationsquelleAutor kzh | 2011-03-08