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