Lambda hesablaması: Redaktələr arasındakı fərq
Silinən məzmun Əlavə edilmiş məzmun
Sətir 12:
== β-reduksiyası ==
<math>\lambda x. 2\cdot x + 1</math> ifadəsi bu funksiyanı ifadə edir,qəbulu hər birinə görə <math>x</math> dəyəri <math>2\cdot x + 1</math>, sonra ifadəni hesablamaq üçün <center><math>(\lambda x. 2\cdot x + 1)\ 3</math>,</center> həm tətbiqi, <math>x</math> dəyişən əvəzinə həm də mücərrədliyi ehtiva edən müddətdə [[3]] sayının dəyişdirilməsini yerinə <math>2\cdot x + 1</math> yetirmək lazımdır. Nəticədə <math>2\cdot 3+1=7</math> alınır. Bu mülahizə ümumi şəkildə <center><math>(\lambda x.t)\ a = t[x:=a],</math></center> yazılır və ''β-azalma'' adlanır. İfadənin növü {\displaystyle (\lambda x.t)\ a}(\lambda x.t)\ a-ya, yəni müəyyən bir müddətə bir [[abstraksiya]] tətbiq etmək, redex adlanır (redex). Baxmayaraq ki,sonra, o ''β-azalma'' lambda - hesablanmasının əslində çox əsaslı və mürəkkəb bir nəzəriyyəyə səbəb olan yeganə "əsas" [[Aksiom|aksiomadır]]{\displaystyle \lambda }\. Onunla birlikdə <math>\lambda</math>- hesablaması Tyurinq tamlıq xüsusiyyətinə malikdir və buna görə də ən sadə [[proqramlaşdırma]] dilidir.
== η-dönüşümü ==
== Əyrilmə ==
| |||