diverge
(redirected from Divergence (disambiguation))Also found in: Dictionary, Thesaurus, Medical, Wikipedia.
diverge
If a series of approximations to some value get progressively
further from it then the series is said to diverge.
The reduction of some term under some evaluation strategy diverges if it does not reach a normal form after a finite number of reductions.
The reduction of some term under some evaluation strategy diverges if it does not reach a normal form after a finite number of reductions.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)