You might be interested in the Wolfram Physics Project and how they use rewriting rules in attempting to explain the underlying reality of spacetime (and more recently mathematical proofs), if you haven't seen it already.

It's basically iterated systems, in a similar way, but in the typical Wolfram style :)