This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
normalize [2017/11/14 07:20] waruna [Normalization Rules] |
normalize [2017/11/14 07:46] waruna [Normalization Rules] Fixed rule 4 and 5. latex plugin does not work anymore, therefore used the mathjax plugin |
||
---|---|---|---|
Line 10: | Line 10: | ||
====Normalization Rules==== | ====Normalization Rules==== | ||
Normalize takes a program and applies a set of normalization rules on it. Some of the basic rules are shown below: | Normalize takes a program and applies a set of normalization rules on it. Some of the basic rules are shown below: | ||
- | - < | + | - $e.f \Rightarrow e, $ if $f(z)=z$ |
- | - < | + | - $(e_{1} \oplus e_{2}).f \Rightarrow (e_{1}.f) \oplus (e_{2}.f)$ |
- | - < | + | - $(D: |
- | - < | + | - $e_{1}\oplus (D: e_{2}) \Rightarrow D:(e_{1} \oplus e_{2})$ |
- | - < | + | - $(e. f_{1}). f_{2} \Rightarrow e . f$, where $f = f_{1} o f_{2}$ |
- | - < | + | - $D_{1}: |
- | - < | + | - $(D:e). f \Rightarrow D':e$, where $D' = f^{-1}(D)$ |
======== | ======== | ||
====Example==== | ====Example==== |