Next-state function
= Next-state function
{title2=$s^+=F(s,a)$}
A function mapping the current <automaton state> and input to the state entered at the next update. In a <Moore machine>, a separate output function depends only on the current state; in a <Mealy machine>, it may also depend on the current input.