In computer science, a rewrite rule specifying a substitution that can be recursively performed to generate new sequences.