Additional examples

[Next] [Up] [Previous]
Next: Implementation issues Up: Variable substitution Previous: Naming the substitution

Additional examples

The following illustrate the effect of applying variable substitution.


The above expression has been annotated with underbraces to indicate the variable substitution that is performed. Notice that applying variable substitution reveals the recursive nature of the expression. It is interesting to note that if we now run our algorithm on this annotated expression, the subexpressions marked by underbraces are chosen for substitution.

TV Raman
Thu Mar 9 20:10:41 EST 1995