Abstract rewriting

Abstract rewriting is like playing with Legos, but instead of building structures with tangible blocks, we create new concepts by piecing together existing ideas.

Imagine you have a pile of Lego blocks, each block representing a different idea, and by connecting them in different ways, you can build something entirely new. Abstract rewriting works similarly, except instead of using physical blocks, we use abstract concepts, symbols, or mathematical equations.

For example, let's say we have the symbols "a," "b," and "c." By rewriting these symbols in different ways, we can create new ideas or equations. We could write "a+b=c," "a=c-b," or "a/c=b/a." Each of these rewritings gives us new insights or interpretations of the original concept.

Abstract rewriting is commonly used in fields like computer science, mathematics, and linguistics to transform mathematical expressions, programming code, or language syntax. By rewriting existing code/language into simpler or more efficient forms, abstract rewriting helps improve computational efficiency and communication clarity, enabling a better understanding of complex concepts.