| 单词 | reduction rule |
| 释义 | reduction rule [ri`dǝk·shǝn ´rül] COMPUTER SCIENCE The principal computation rule in the lambda calculus; it states that an operator-operand combination of the form (λxMA ) may be transformed into the expression SxAM, obtained by substituting the lambda expression A for all instances of x in M, provided there are no conflicts of variable names. Also known as beta rule. |
| 随便看 |
|
科学参考收录了103327条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。