alpha conversion
One of the three rewrite rules of lambda calculus, in which a bound variable of a…One of the three rewrite rules of lambda calculus, in which a bound variable of a lambda term is replaced by another variable across its entire scope. So if there is a lambda term of the form (λx.t) and it is desired to have x replaced with y, then the rewritten lambda term would have the form (λy.t[y/x]) where t[y/x], "t with y instead of x", has had all free instances of x in t replaced with y.
Meaning
1 senses(countable, uncountable)One of the three rewrite rules of lambda calculus, in which a bound variable of a lambda term is replaced by another variable across its entire scope. So if there is a lambda term of the form (λx.t) and it is desired to have x replaced with y, then the rewritten lambda term would have the form (λy.t[y/x]) where t[y/x], "t with y instead of x", has had all free instances of x in t replaced with y.
Forms
plural: alpha conversions| Singular | alpha conversion |
|---|---|
| Plural | alpha conversions |
regular
Lessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable
See also
neighbours in the dictionaryDictionary text adapted from Wiktionary (Wiktionary contributors, CC BY-SA 4.0) and Open English WordNet / Princeton WordNet (CC BY 4.0, WordNet License); shared under CC BY-SA 4.0. Example sentences and recordings are credited where they appear.