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