Began the section about the value iteration algorithm. Also changed the identifier of the value of action sequences so it doesn't create inconsistenses with the value of a state.
Improved some formulas.
Changed the value iteration formula to fit the definition with a finite set of states.