Lambda hesablaması: Redaktələr arasındakı fərq
Silinən məzmun Əlavə edilmiş məzmun
Sətir 14:
<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.
== η-
<math>\eta</math> — çevrilməsi iki funksiyanın eyni və yalnız olduqda eyni olduğunu düşüncəsini,nə zaman, hər hansı bir dəlil tətbiq olunanda eyni nəticələri ifadə edir. <math>\eta</math>- dönüşümü <math>\lambda x.f\ x</math> и <math>f</math> [[Düstur|düsturlarını]] bir-birinə çevirir(əgər ki,<math>x</math>-ın <math>f</math>-ya sərbəst girişi yoxdursa: əks halda sərbəst dəyişən <math>x</math> çevrilmədən sonra əlaqəli xarici [[abstraksiya]] və ya əksinə olacaq).
== Əyrilmə ==
== Tipsiz hesablama <math>\lambda</math>-semantikası ==
| |||