Transition Function

automata-theory

Definition

Transition Function

The transition function $\delta :Q\times \Sigma \to Q$ is a mapping that takes a current state $q\in Q$ and an input symbol $x\in \Sigma$ and returns the subsequent state $q^{\prime }\in Q$.