digraph ex1p2c { rankdir="LR"; node [texmode="math",shape="circle",style="state"]; q0 [style="state,initial",label="0"]; q05 [style="state",label="05"]; q056 [style="state,final,accepting below",label="056"]; q02 [style="state",label="02"]; q023 [style="state,final,accepting above",label="023"]; q057 [style="state,final",label="057"]; q0567 [style="state,final,accepting above",label="0567"]; q027 [style="state,final",label="027"]; q0237 [style="state,final,accepting below",label="0237"]; 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 -> q056 [label="b"]; q02 -> q023 [label="a"]; q056 -> q0567 [label="b"]; q056 -> q027 [label="a",lblstyle="auto,below"]; q023 -> q0237 [label="a"]; q023 -> q057 [label="b"]; { rank="same"; q056; q023; } q0567 -> q027 [label="a",lblstyle="auto,below"]; q027 -> q057 [label="b"]; q057 -> q0237 [style="invis"]; q0237 -> q057 [label="b"]; q057 -> q027 [label="a"]; q027 -> q0567 [style="invis"]; { rank="same"; q057; q027; } { rank="same"; q0567; q0237; } q0237 -> q0237 [label="a",topath="loop above"]; q0567 -> q0567 [label="b",topath="loop below"]; q057 -> q0567 [label="b"]; q027 -> q0237 [label="a"]; }