initial state: A0;
accepting states:A0;
transitions:
(A0, 0) -> A0;
(A0, 1) -> A1;
(A1, 0) -> A2;
(A2, 0) -> A4;
(A2, 1) -> A0;
(A3, 0) -> A1;
(A3, 1) -> A2;
(A4, 0) -> A3;
(A4, 1) -> A4"1011101"
Rejecting due to terminated computation in state(s) A1 with remaining input 101
State: A1
(Remaining) Input: 101