Tuple View of an FSM Accepting the String abb# |
White is used to indicate the current state, and red to indicate the "processing step" done on the input.
In this animation the input is represented on the Input Tape at the top. The Arrow or Read Head indicates the location on the tape that is currently beneath the Read Head. The oval labelled Current State indicates the current state of this FSM. Beneath this are the quadruples or rules that define the operation of the FSM. The line down the center divides a rule into the "condition", the two elements on the left-hand side, and the "action", the two elements on the right-hand side. For example, the first quadruple may be read as: "if the current state is q0 and the Read Head is reading the symbol 'a'; then move the Read Head to the Right, 'R' and change the current state to q0."