Translating between Recursive and Explicit Formulas