"Overlap" in the context of term rewriting refers to situations where two or more rewrite rules can be applied to the same term or expression, leading to different potential outcomes. In term rewriting systems, a rewrite rule typically has the form of a pattern that can match a term and an associated replacement for that term. When more than one rule can be applied to a given term, we say that the rules "overlap.
Articles by others on the same topic
There are currently no matching articles.