{states} A, B, C, D {start state} A {accepting states} B, C, D
{transitions}
A, % -> B | C | D;
B, 0 -> C;
C, 0 -> D; C, 1 -> B;
D, 1 -> C