A reduction system where an expression is represented as astring of function names, constants and parentheses. It isreduced by replacing parts of the string representing subtermsby their value.
It is harder to represent sharing of subexpressions in stringreduction than in graph reduction.