Confluence (abstract rewriting)

Pic.1: The name confluence is inspired from geography, meaning there the meeting of two bodies of water.

In computer science and mathematics, confluence is a property of rewriting systems, describing which terms in such a system can be rewritten in more than one way, to yield the same result. This article describes the properties in the most abstract setting of an abstract rewriting system.


From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Tubidy