بازنویسی (ریاضی)

Also known as rewrite systems, rewriting systems, reduction systems, rewrite rule, term rewriting, algebraic manipulation

In mathematics, linguistics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. Such methods may be achieved by rewriting systems (also known as rewrite systems, rewrite engines, or reduction systems). In their most basic form, they consist of a set of objects, plus relations on how to transform those objects.