Lambda hesablaması: Redaktələr arasındakı fərq
Silinən məzmun Əlavə edilmiş məzmun
Redaktənin izahı yoxdur |
|||
Sətir 9:
== α-ekvivalentlik ==
Lambda baxımından müəyyən edilən ekvivalentliyin əsas forması [[alfa]] ekvivalentliyidir. Məsələn, <math>\lambda x.x</math> və <math>\lambda y.y</math> : alfa ekvivalent lambda şərtləri və hər ikisi eyni funksiyanı [[təmsil]] edir: alfa ekvivalent lambda terminləri və hər ikisi eyni funksiyanı [[təmsil]] edir. Lambda [[Abstraksiya|abstraksiyasında]] olmadığı üçün <math>x</math> və <math>y</math> şərtləri alfa [[Ekvivalent|ekvivalenti]] deyildir.
== β-reduksiyası ==
== η-dönüşümü ==
| |||