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