beta reduction
beta reduction · beta reductions
The act of beta reducing, an instance of replacing a function call by the result of…The act of beta reducing, an instance of replacing a function call by the result of calling a function.
/ˈbeɪ.tə.ɹɪˌdʌk.ʃən/
Значення
значень: 2(злічуване, незлічуване)The act of beta reducing, an instance of replacing a function call by the result of calling a function.
(злічуване, незлічуване)One of the three rewrite rules of the lambda calculus, which states that the application of a lambda abstraction (λx.t) to a term s yields an expression t[s/x], "t with s instead of x", where all free instances of x in t have been replaced by s.
Форми
множина: beta reductions| Однина | beta reduction |
|---|---|
| Множина | beta reductions |
правильне
Уроки до слова
уроків: 1- A1Злічувані та незлічувані іменники — Бо воно може бути незлічуваним