| For example, if f calls itself, that is direct recursion. |
Например, если f вызывает себя, это прямая рекурсия. |
| Thus corecursion creates (potentially infinite) codata, whereas ordinary recursion analyses (necessarily finite) data. |
Необходимо отметить, что корекурсия создаёт потенциально бесконечные структуры данных, в то время как обычная рекурсия анализирует (разбирает) по необходимости конечные структуры данных. |
| This is simply a difference of emphasis, not a different notion: "indirect recursion" emphasises an individual function, while "mutual recursion" emphasises the set of functions, and does not single out an individual function. |
Это просто отличие в акцентировании, но не разница в подходе - «косвенная рекурсия» подчёркивает использование индивидуальной функции, в то время как «взаимная рекурсия» подчёркивает использования набора функций, а не отдельной индивидуальной функции. |
| Mutual recursion is also known as indirect recursion, by contrast with direct recursion, where a single function calls itself directly. |
Он утверждает: Взаимная рекурсия известна также как косвенная рекурсия, в отличие от прямой рекурсии, когда одна функция вызывает себя непосредственно. |
| So it's just like Georg Cantor said, the recursion continues forever. |
Так, как и сказал Георг Кантор: рекурсия продолжается вечно. |