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