Convergence (logic)

In mathematics, computer science and logic, convergence refers to the idea that different sequences 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 preordered set of term rewriting transformations are said to be convergent if they are confluent and terminating.[1]

See also

References

  1. ↑ Franz Baader; Tobias Nipkow (1998). Term Rewriting and All That. Cambridge University Press. ISBN 0-521-77920-0.
This article is issued from Wikipedia - version of the Thursday, September 25, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.