Transformation Process
Transformation of expressions can be implemented in several steps:
- Test whether the input matches a pattern;
keeping bindings between pattern variables and parts of the input.
- Construct the output: create a version of the output pattern with
substitutions from the bindings.
- Keep trying: one transformation may enable another, so continue until
the result does not change (reaches a fixed point).
Contents
Page-10
Prev
Next
Page+10
Index