[naasking]

PL theory is a bit of a hobby of mine, but I don't really see an exact equivalent to what Wolfram seems to be describing. His rules are like rules in a term rewriting system, but the rules of rulial space are permitted to change so they may be more expressive, perhaps like a higher-order rewrite system.