Викисловарь:Икубатор/бар-рекурсия

Русский

Морфологические и синтаксические свойства

бар-рекурсия

Существительное, неодушевлённое, женский род (тип склонения ?? по классификации А. А. Зализняка).

Корень: --.

Произношение

• МФА: [ˌbar rʲɪˈkursʲɪɪ̯ə]

Семантические свойства

Значение

1. специфический случай рекурсии ^{Данное толкование слова вызывает сомнения. Пожалуйста, приведите ссылку на источник или примеры.} ◆ Бар-рекурсия, определяющая Е, заменяется рекурсией по некоторому дереву, связанному с нормальной формой (дерева, в которое переходит после нормализации) Ух для переменной х, а последняя заменяется рекурсией по длине дерева, которая, как известно, сводится к примитивной (по Геделю). , 1980 г. // «Реферативный журнал: Математика»

Гиперонимы

1. рекурсия

Родственные слова

Ближайшее родство
существительные: бар

Этимология

Происходит от ??

Перевод

Список переводов
Английскийen: bar recursion