Що таке КОМБІНАТОР Англійською - Англійська переклад

• combinator
• combiner

Приклади вживання Комбінатор Українська мовою та їх переклад на Англійською

Pv Масив комбінатор Box.
Pv Array Combiner Box.

Pv комбінатор Box Електропроводка.
Pv Combiner Box Wiring.

Водонепроникний Pv комбінатор Box.
Waterproof Pv Combiner Box.

Комбінатори K і S відповідають аксіомам.
The K and S combinators correspond to the axioms.

Культиватор Fantom 1250 PRO- передпосівний комбінатор.
Cultivator Fantom 1250 PRO- presowing combinator.

Агрегація з передпосівної комбінаторами Kompaktomat.
Aggregation with presowing combinators Kompaktomat.

Pv комбінатор Box Електропроводка Постачальники Виробники завод.
Pv Combiner Box Wiring Suppliers Manufacturers Factory.

Нагороджений експонат: передпосівний комбінатор Kompaktomat.
Awarded exhibit: presowing combinator Kompaktomat.

Тому гіпотетичний комбінатор N нормальної форми не може існувати.
Therefore, the hypothetical normal-form combinator N cannot exist.

Комбінатори, що генеруються T[] перетворенням можуть бути зменшені, якщо взяти до уваги правило η-редукції:.
The combinators generated by the T[] transformation can be made smaller if we take into account the η-reduction rule:.

Саме таким чином примітивні комбінатори ведуть себе подібно функціям.
It is in this way that primitive combinators behave as functions.

Використовуючи комбінатори B і C, перетворення λx. λy.(y x) виглядає так:.
Using B and C combinators, the transformation of λx. λy.(y x) looks like this:.

Девід Тернер використовував свої комбінатори для реалізації мови програмування SASL.
David Turner used his combinators to implement the SASL programming language.

Сучасні назви для комбінаторів випливають з докторської дисертації Хаскелла Каррі 1930 року(див. B, C, K, W System).
The modern names for the combinators come from Haskell Curry's doctoral thesis of 1930(see B, C, K, W System).

Існують одноточкові базиси, з яких кожен комбінатор може бути складений екстенсійно рівним будь-якому лямбда-члену.
There are one-point bases from which every combinator can be composed extensionally equal to any lambda term.

Ці комбінатори надзвичайно корисні при перекладі логіки предикатів або лямбда-числення в комбінаторні вирази.
These combinators are extremely useful when translating predicate logic or lambda calculus into combinator expressions.

Найпростішим прикладом комбінатора є I, комбінатор ідентичності, який визначається таким чином.
The simplest example of a combinator is I, the identity combinator, defined by.

Кеннет Е. Іверсон використовував примітиви на основі комбінаторів Каррі в його мові програмування J, наступнику APL.
Kenneth E. Iverson used primitives based on Curry's combinators in his J programming language, a successor to APL.

Напівнавісні передпосівні комбінатори Kompaktomat K 300 P- 1000, PS можна комбінувати з іншими пристроями або машинами.
Half-carried presowing combinators Kompaktomat K 300 P- K 1000 PS enable aggregation with other devices or machines.

Для комбінації, наприклад, з подрібнювальними котками необхідно оснастити комбінатор задньої ТТН трехточковою навіскою.
For aggregation with e.g. crumbling rollers it is sufficient to additionally equip the combinator with the rear three-point linkage only.

Більш цікавим комбінатором є комбінатор фіксованої точки або комбінатор Y, який можна використовувати для реалізації рекурсії.
A more interesting combinator is the fixed point combinator or Y combinator, which can be used to implement recursion.

Правило 5 просто говорить, що для перетворення складної абстракції на комбінатор, ми повинні спочатку перетворити його тіло на комбінатор, а потім видалити абстракцію.
Rule 5 simply says that to convert a complex abstraction to a combinator, we must first convert its body to a combinator, and then eliminate the abstraction.

Агрегацією з передпосівної комбінаторами ви отримуєте максимально ефективне рішення, яке є по-справжньому продуктивним поєднанням.
By aggregation with presowing combinators, maximally effective solution forming a really productive combination is obtained.

Концепція, що має багато спільного з лямбда-численням, але яка має важливі відмінності(наприклад, комбінатор фіксованої точки Y має нормальну форму в комбінаторній логіці, але не в лямбда-численні).
Is a concept which has many similarities to\lambda-calculus, but also important differences exist(e.g. fixed point combinator Y has normal form in combinatory logic but not in\lambda-calculus).

Тому для знаходження комбінатору, що еквівалентний λx.(E₁ E₂), достатньо знайти комбінатор, що еквівалентний(S λx. E₁ λx. E₂), та.
Therefore, to find a combinator equivalent to λx.(E₁ E₂), it is sufficient to find a combinator equivalent to(S λx. E₁ λx. E₂), and.

Комбінаторна логіка Концепція, що має багато спільного з лямбда-численням, але яка має важливі відмінності(наприклад, комбінатор фіксованої точки Y має нормальну форму в комбінаторній логіці, але не в лямбда-численні).
Combinatory logic A concept which has many similarities to λ{\displaystyle\lambda}-calculus, but also important differences exist(e.g. fixed point combinator Y has normal form in combinatory logic but not in λ{\displaystyle\lambda}-calculus).

Самі примітивні функції є комбінаторами, або функціями, які, якщо розглядати їх як лямбда-вирази, не містять вільних змінних.
The primitive functions themselves are combinators, or functions that, when seen as lambda terms, contain no free variables. To shorten the notations.

Предикат є комбінатором, який, коли застосовується, повертає або T, або F. Предикат N нетривіальний, якщо існують два аргументи A і B такі, що N A= T і N B= F. Комбінатор N повний тоді і тільки тоді, коли NM має нормальну форму для кожного аргументу M. Тоді аналог теореми Райса говорить, що кожен повний предикат тривіальний.
A predicate is a combinator that, when applied, returns either T or F. A predicate N is nontrivial if there are two arguments A and B such that N A= T and N B= F. A combinator N is complete if and only if NM has a normal form for every argument M. The analogue of Rice's theorem then says that every complete predicate is trivial.

Передпосівні комбінатори Kompaktomat- це випробувані агрегати призначені для передпосівної підготовки поля після оранки та іншого основного обробітку грунту.
Presowing combinators Kompaktomat are time-tested machines designed for pre-sowing preparation of the soil after ploughing.

Як наслідок, комбінатор K не присутній у λ I обчисленнях, а також у численні CL I. Константами CL I є: I, B, C і S, які є основою для складання всіх термінів CL I(рівність по модулю).
As a consequence, combinator K is not present in the λI calculus nor in the CLI calculus. The constants of CLI are: I, B, C and S, which form a basis from which all CLI terms can be composed(modulo equality).