Определение

Терминальность

Терминальность означает: алгоритм завершает работу на каждом допустимом входе.