Определенность алгоритма: что это значит и как понять?