Well, I doubt that it is fine, because it does not explicitly use what is known and needed, i.e. that there are function symbols, and that their arity is known, i.e. the number of expected arguments. (If you want, you can also treat variables and constants as function symbols of arity 0.) Additionally, for clarify I would rather talk about "strings of symbols of length N" and "lists of terms of length n".