State+Transition+Table


 * state transition table** is a table showing what state (or states in the case of a [|nondeterministic finite automaton]) a finite [|semiautomaton] or [|finite state machine] will move to, based on the current state and other inputs. A //state table// is essentially a [|truth table] in which some of the inputs are the current state, and the outputs include the next state, along with other outputs.

||
 * **State Transition Table**||  || **1** || **0** ||
 * S1 || S1 || S2 ||
 * S2 || S2 || S || ||  || **State Diagram**