A worked example
A cascading replacement
- Start with
- Source: A B · first rule: A => B · second rule: B => C
- Check the result
- The final result is C C.
The first rule produces B B, then the second changes both Bs. Rules are not applied simultaneously to the untouched original.