Свойства вычислительных алгоритмов