digraph cn2p1c {
	rankdir="LR";
	node [texmode="math",shape="circle",style="state"];
	q0 [style="state,initial,final",label="\top"];
	edge [texmode="math",lblstyle="auto"];
	q0 -> q0 [label="a,b",topath="loop above"];
}