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