alpha conversion

English

alpha conversion (plural alpha conversions)

(computing theory) One of the three rewrite rules of lambda calculus, in which a bound variable of a lambda term gets replaced by another variable across its entire scope. So if there is a lambda term of the form ${\\displaystyle (\\lambda x.t)}$ and it is desired to have x replaced with y, then the rewritten lambda term would have the form ${\\displaystyle (\\lambda y.t[y/x])}$ where ${\\displaystyle t[y/x]}$ , "t with y in stead of x", has had all free instances of x in t replaced with y.

单词	alpha conversion
释义	alpha conversion English Noun alpha conversion (plural alpha conversions) (computing theory) One of the three rewrite rules of lambda calculus, in which a bound variable of a lambda term gets replaced by another variable across its entire scope. So if there is a lambda term of the form ${\\displaystyle (\\lambda x.t)}$ and it is desired to have x replaced with y, then the rewritten lambda term would have the form ${\\displaystyle (\\lambda y.t[y/x])}$ where ${\\displaystyle t[y/x]}$ , "t with y in stead of x", has had all free instances of x in t replaced with y. Coordinate terms beta reduction eta conversion
随便看	circumvallavisses circumvallavisset circumvallavissetis circumvallavisti circumvallavistis circumvallavit circumvallazione circumvallazioni circumvallem circumvallemini circumvallemur circumvallemus circumvallent circumvallentur circumvaller circumvallere circumvalleris circumvalles circumvallet circumvalletis circumvalletur circumvallo circumvallor circumvascular circumvecta