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