Transition 1 1 1 State 1 1 FiniteAutomaton 0 1 1 0 0