Sucessor Function

Description:

• assigns a next state to every pair of state and input
  • such that $f:S\times I\to S$