Cop e mys

Cop e mys is a version of cirt e mys, which modifies the bracket matching, and was created as an accident. It is also as a variant possible to implement in Regex with capture groups.

Definition

Cop e mys is exactly the same as cirt e mys, however, unlike cirt e mys, bracket snapshots match with a copy of themselves. As such, the rewrite rules are:

bracket snapshots: b x b -> (x^-+(x^^-))'+(b^)+(x-)+(x')
nodes: x p -> p+x* (note that p is the rest of the program, after the node ends)