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