Description:

  • assigns a next state to every pair of state and input
    • such that