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