Свойства алгоритма как детерминируемость