Свойство алгоритма, заключающиеся в том, что любое действие должно быть строго и недвусмысленно определено в каждом случае, называется