Лямбда-ларар

ХӀара яззам Википеди чура бу — маьрша энциклопеди
Перейти к навигации Перейти к поиску

Ля́мбда-лара (λ-ларар) — американ математико Чёрч Алонзос, ларадаларан кхетамна формализаци а, анализ а ярхьама, кхоьллина формалан система.

ЦӀена λ-ларар[нисъе | нисъе чухулара]

ЦӀена λ-ларар, термаш, цунах кхин а олу объекташ («обаш»), я λ-термаш, хиттийна еккъа хийцалуш йолчу аппликаци а, абстракци а лелош. Юьхьанца цхьан констант а хилар дуьцуш а дац.

Аппликаци а, абстракци а[нисъе | нисъе чухулара]

λ-лараран бухе йиллина шиъ фундаментан операци:

  • Кеп:ЯкорьАппликаци (лат. applicatio — тӀедилла, тӀехоттар) деллачу терхьийна хьалха функци лелор я кхайкхар бохург ду. Иза билгалдоккху ,  — функци ю, ткъа  — аргумент ю. Иза догӀу массара а математикехь тӀеэцнадолчу яздарца , иза а наггахь лелош ду, амма λ-ларарна коьрта ду, алгоритм маьӀнехь ларар, лоруш долу жамӀ деллачу чудогӀучу терахьца. Оцу маьӀнехь аппликаци тӀиера тӀе ган тарло шалха: цхьаъ — жамӀ лелор тӀиера тӀе, шиъ — лараран процесс санна. ТӀеххьара аппликацин интерпретаци йоьзна ю β-редукци кхетамах.
  • Кеп:ЯкорьАбстракцино я λ-абстракцино (лат. abstractio — тергояйар, дӀакъастар) шен агӀора функцеш хиттайо деллачу терхьашца. Мадарра, нагахь  — терахь делахь, паргӀата юкъахь долуш, тӀаккха яздаран маьӀна ду: функци аргументах, цуьнан ю кеп, цуо гойту функци. Иштта, абстракцин гӀоьнца мега керла функцеш кхолла. Оьшург, паргӀата юкъадахар , доккха хьесап долуш дац — тоьуш ду дагахь хилар, , нагахь иза иштта дацахь.