Викисловарь:Икубатор/бар-рекурсия
(перенаправлено с «бар-рекурсия»)
Русский[править]
Морфологические и синтаксические свойства[править]
бар-рекурсия
Существительное, неодушевлённое, женский род (тип склонения ?? по классификации А. А. Зализняка).
Корень: --.
Произношение[править]
- МФА: [ˌbar rʲɪˈkursʲɪɪ̯ə]
Семантические свойства[править]
Значение[править]
- специфический случай рекурсии Данное толкование слова вызывает сомнения. Пожалуйста, приведите ссылку на источник или примеры. ◆ Бар-рекурсия, определяющая Е, заменяется рекурсией по некоторому дереву, связанному с нормальной формой (дерева, в которое переходит после нормализации) Ух для переменной х, а последняя заменяется рекурсией по длине дерева, которая, как известно, сводится к примитивной (по Геделю). , 1980 г. // «Реферативный журнал: Математика»
Синонимы[править]
Антонимы[править]
Гиперонимы[править]
Гипонимы[править]
Родственные слова[править]
Ближайшее родство | |
|
Этимология[править]
Происходит от ??
Фразеологизмы и устойчивые сочетания[править]
Перевод[править]
Список переводов | |
|
Библиография[править]
Для улучшения этой статьи желательно:
|