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