automata-theory Definition Transition Function (Automata Theory) The transition function is a mapping that takes a current state and an input symbol and returns the subsequent state .