Обеспечение алгоритмом получения промежуточного и конечного результата при любых допустимых исходных данных, представленных в явном виде, называется