blob: 64dfcb34483dc74fa75248caf640f24cb4e3d660 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
digraph example6c {
rankdir="LR";
node [texmode="math",shape="circle",style="state"];
q0 [style="state,initial,final,accepting below",label="0"];
q2 [style="state",label="2"];
edge [texmode="math",lblstyle="auto"];
q0 -> q0 [label="0",topath="loop above",texlbl="$0|11$"];
q0 -> q2 [label="10"];
q2 -> q2 [label="1",topath="loop above",texlbl="$1|00$"];
q2 -> q0 [label="01"];
}
|
