комп. цикличноповторять одно и тоже, исполнять одну и ту же последовательность инструкций в цикле.
Поэтому нас интересуют алгоритмы, которые могли бы по любой предъявленной программе установить, завершит ли она работу или будет «циклить», дают ли две программы, исходная и оптимизированная, один и тот же результат…
