What is the context of the question? In what context do you mean 'formula'? Formulas of certain kinds of languages or formulas in the broad sense of a finite string of members of an alpahabet? What do you mean by 'recursive formula' and 'explicit formula'? Does this have to do with recursive operations on formulas (such as variable substitution) or something else?