Rewrote the induction step and base case.
Changed the definitions of all the states to use inputs.
Updated nop to use inputs instead of outputs.