|
|
|
|
|
|
 |
 |
|
Rewriting Systems
|
|
|
|
|
|
| Organization: | Universidad Autonoma de Querétaro |
| Department: | Facultad de Informatica |
|
|
|
|
|
|
2003-11-18
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
Rewriting Systems, group theory, equivalence relations, numeric productions, L systems, Checkers, Compositions, Huffman Coding, Koch snowflake
|
|
|
 |
|
|
| 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 |
|
|
|
|
|
|
|
| | | | | |
|
For the newest resources, visit Wolfram Repositories and Archives »
