In automata theory and sequential logic, a state-transition table is a table showing what state a finite-state machine will move to, based on the current state and other inputs. Wikipedia