Blame


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 }