All recursive languages are also recursively enumerable. |
Все рекурсивные языки также являются рекурсивно перечислимыми. |
All regular, context-free, context-sensitive and recursive languages are recursively enumerable. |
Все регулярные, контекстно-свободные, контекстно-зависимые и рекурсивные языки являются рекурсивно перечислимыми. |
These servers get recursive queries from customers and authoritative queries from outside at the same IP address. |
Эти серверы получают рекурсивные запросы от клиентов и авторитативные запросы извне на один и тот же IP-адрес. |
Recursive neural networks have been applied to natural language processing. |
Рекурсивные нейронные сети находят применение в задачах обработки естественного языка. |
In his 1943 paper Recursive Predicates and Quantifiers Kleene proposed his "THESIS I": This heuristic fact... led Church to state the following thesis(22). |
В своей статье 1943 года «Рекурсивные предикаты и квантификаторы» Клин предложил свой «ТЕЗИС I»: Этот эвристический факт... привел Чёрча к формулировке следующего тезиса (22). |
This enables the creation of recursive and multi-dimensional array s. |
Таким образом вы можете создавать рекурсивные и многомерные массивы. |
The primitive recursive functionals are important in proof theory and constructive mathematics They are a central part of the Dialectica interpretation of intuitionistic arithmetic developed by Kurt Gödel. |
Примитивно рекурсивные функционалы играют важную роль в теории доказательств и конструктивной математике и составляют ядро гедёлевской «диалектической» интерпретации интуиционистской арифметики. |
And I started to realize that the cycles of fertility were just like the recursive cycles in the geometric algorithm that builds this. |
И я начал понимать, что эти циклы плодородия были такими же, как рекурсивные циклы в геометрическом алгоритме, их выстраивающем. |
In terms of the call stack, two mutually recursive procedures yield a stack ABABAB..., and inlining B into A yields the direct recursion (AB)(AB)(AB)... |
В терминах использования стека две взаимно рекурсивные процедуры заполняют стек последовательностью вызовов АВАВАВ..., а встраивание процедуры В в А приводит к прямой рекурсии (АВ)(АВ)(АВ)... |
In languages such as Pascal that require declaration before use, mutually recursive functions require forward declaration, as a forward reference cannot be avoided when defining them. |
В языках, таких как Паскаль, в которых требуются определения объектов, прежде чем объект может быть применён, взаимно рекурсивные функции требуют предварительного объявления. |
Recursive neural tensor networks use one, tensor-based composition function for all nodes in the tree. |
Тензорные рекурсивные сети используют одну тензорную функцию для всех узлов дерева. |