- Convergence (logic)
-
In mathematics, computer science and logic, convergence refers to the idea that a series of transformations come to a conclusion in a finite amount of time (the transformations are terminating), and that the conclusion reached is independent of the path taken to get to it (they are confluent).
More formally, a set of term rewriting transformations are said to be convergent if they are confluent and terminating.[1]
References
- ^ Franz Baader; Tobias Nipkow (1998). Term Rewriting and All That. Cambridge University Press. ISBN 0521779200.
Categories:- Rewriting systems
- Computer science stubs
Wikimedia Foundation. 2010.