Blob


1 nodes {
2 q0 : begin;
3 q1 : end;
4 }
6 edges {
7 q0 -> q0 "0";
8 q0 -> q1 "1";
9 q1 -> q1 "1";
10 }