Recursive functions of symbolic expressions and their computation by machine