Parsing a Term or Atomic Formula in prefix form

Enter the language symbols, with their arities, in the following.
(Constant symbols have arity 0).
SymbolArity
SymbolArity

Enter the term or atomic formula to be parsed in prefix form:

Example: If you enter the term
f+*xyz+uvf0vx
where f is ternary, +,* are binary, and 0 is a constant symbol then the output will look like:
Thoralf says:
The term (or formula)
f+*xyz+uvf0ab
is parsed as follows:
f+*xyz+uvf0vx
This program also checks that the term or atomic formula is well formed.