расходящийся код (diverge)

Считается, что выполнение программы расходится, если она не завершается (не заканчивается), как ожидалось. Если программа выдаёт значение за конечное время без расхождения, то она сходится.