digraph ex3p1c { rankdir="LR"; node [texmode="math",shape="circle",style="state"]; qF [style="state,initial,final,accepting below",label="F"]; q6 [style="state",label="6"]; qbot [style="state",label="X",texlbl="$\bot$"]; edge [texmode="math",lblstyle="auto"]; qF -> q6 [label="b"]; qF -> qF [label="a",topath="loop above"]; q6 -> qF [label="a"]; q6 -> qbot [label="b"]; qbot -> qbot [label="a,b",topath="loop above"]; }