Translating Between Explicit and Recursive Formulas for Arithmetic Sequences