digraph G {
rankdir=LR;
node [shape="circle"];
null [label="null/0"];
{ rank = same;
0 [label="0/0"];
01 [label="01/0"];
010 [label="010/0"];
0100 [label="0100/0"];
done [label="done/1"];
}
null -> null [label=1];
null -> 0 [label=0];
0 -> 01 [label=1];
01 -> 010 [label=0];
010 -> 0100 [label=0];
0100 -> done [label=1];
done -> done [label="0,1"];
0 -> 0 [label="0"];
01 -> null [label="1"];
010 -> 01 [label="1"];
0100 -> 0 [label="0"];
}
Owner: erg