digraph ex1p2d { rankdir="LR"; node [texmode="math",shape="circle",style="state"]; q0 [style="state,initial",label="0"]; q05 [style="state",label="05"]; q02 [style="state",label="02"]; qA [style="state,final",label="A"]; edge [texmode="math",lblstyle="auto"]; q0 -> q05 [label="b"]; q0 -> q02 [label="a"]; q05 -> q02 [label="a"]; q02 -> q05 [label="b"]; { rank="same"; q05; q02; } q05 -> qA [label="b",lblstyle="auto,below"]; q02 -> qA [label="a"]; qA -> qA [label="a,b",topath="loop below"]; }