Systems with explicit recursion combinators, such as Plotkin's PCF, are not normalizing, but they are not intended to be interpreted as a logic.
除了转发DNS请求和递归性质以外,还可以将多个服务器配置为某个特定域的“权威”DNS。
In addition to forwarding DNS requests and the recursive nature, you can also configure more than one server to be'authoritative' for a particular domain.
它避免了递归,将动态内存限制为可配置的缓冲区,并且不需要将整个存储块存储在RAM中。
It avoids recursion, limits dynamic memory to configurable buffers and at no point stores an entire storage block in RAM.
明天是属于机器学习、递归神经网络以及相似技术的,但是今天,长期建立的语言工程方法仍占上风。
Tomorrow belongs to deep learning- to recurrent neural networks and the like- but for today, long-established language-engineering approaches still prevail.
但是原始递归函数的集合不包含所有可能的可计算函数-这可以看作康拖尔对角论证法的变体。
However, the set of primitive recursive functions does not include every possible total computable function- this can be seen with a variant of Cantor's diagonal argument.
English
Bahasa indonesia
日本語
عربى
Български
বাংলা
Český
Dansk
Deutsch
Ελληνικά
Español
Suomi
Français
עִברִית
हिंदी
Hrvatski
Magyar
Italiano
Қазақ
한국어
മലയാളം
मराठी
Bahasa malay
Nederlands
Norsk
Polski
Português
Română
Русский
Slovenský
Slovenski
Српски
Svenska
தமிழ்
తెలుగు
ไทย
Tagalog
Turkce
Українська
اردو
Tiếng việt