 Abstract rewriting system

An Abstract Rewriting System (ARS) is a formal framework used in the field of computer science and mathematics to study the concept of rewriting, which is a fundamental operation in various areas such as term rewriting, functional programming, and automated theorem proving. In an ARS, we typically define a set of objects (often called terms or expressions) and a relation that describes how to transform these objects into one another through specific rewriting rules.