![](/common/images/spacer.gif)
![Wolfram Library Archive](/images/database/subheader.gif)
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![Downloads](/images/database/downloads-top.gif) |
![](/images/database/grey-line.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) Rewriting Systems
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/images/database/grey-line.gif) |
![](/images/database/grey-line.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif)
Organization: | Universidad Autonoma de Querétaro |
Department: | Facultad de Informatica |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/images/database/grey-line.gif) |
![](/images/database/grey-line.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) 2003-11-18
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/images/database/grey-line.gif) |
![](/images/database/grey-line.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) Rewriting systems (RS), have been widely used in contexts in which formulae manipulation plays a prominent role, such as symbolic and functional programming, formal grammars,computer graphics, simulation, etc. This is due to their intrinsic ability to specify, through employing a set of directed transformational equations, the basic mechanism of subterm substitution. RS are determined by a series of productions meant to be applied to specific objects. This application consists in the substitution of a pattern occurring on the object also appearing on the left side of a production, by the corresponding pattern on the right side of this production. The aim of this work is to illustrate the application of RS on a variety of important settings throughout the following themes: One-dimensional Checkers, Group Theory, Equivalence Relations, Systems of Numeric Productions, Recursive Productions, L systems, From Binary Numbers to Compositions and Huffman Coding. A series of animations supplementing several parts of the text is also provided. We are using Mathematica version 5.
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/images/database/grey-line.gif) |
![](/images/database/grey-line.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif)
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/images/database/grey-line.gif) |
![](/images/database/grey-line.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) Rewriting Systems, group theory, equivalence relations, numeric productions, L systems, Checkers, Compositions, Huffman Coding, Koch snowflake
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/images/database/download-cdf-player.gif) |
![](/images/database/grey-line.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif)
| BinaryCompositions.gif (147 KB) - GIF animation | | DragonCurve.gif (339.4 KB) - GIF Animation | | KochCurve.gif (69.5 KB) - GIF Animation | | NumericProductions.gif (292 KB) - GIF Animation | | Osgood.gif (416.5 KB) - GIF Animation | | RewritingSystems.nb (529.7 KB) - Notebook for RS | | rewritingSystems.zip (94.2 KB) - Same notebook, zipped |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
|
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
![](/common/images/spacer.gif) |
| | | | ![](/common/images/spacer.gif) | |
|