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