Divergence — failure to reach a finite state after any finite amount of time in computer science