Алгоритм должен быть однозначным. Свойство определенности алгоритма.