Divergence

En ciencias de la computación, se dice que un cómputo diverge si no termina o termina en un estado excepcional. De lo contrario, se dice que converge. En dominios donde se espera que los cómputos sean infinitos, como los cálculos de procesos, se dice que un cómputo diverge si no logra ser productivo (es decir, continuar produciendo una acción dentro de una cantidad finita de tiempo). Definiciones Varios subcampos de las ciencias de la computación utilizan definiciones variables, pero matemáticamente precisas, de lo que significa que un cómputo converja o diverja. Reescritura En la reescritura abstracta, un sistema de reescritura abstracta se denomina convergente si es tanto confluente como terminante. La notación t ↓ n significa que t se reduce a la forma normal n en cero o más reducciones, t↓ significa que t se reduce a alguna forma normal en cero o más reducciones, y t↑ significa que t no se reduce a una forma normal; esto último es imposible en un sistema de reescritura terminante.