Алгоритм, його види і властивості