ghat karnyache dhoran

punarlekhan kartana, qamee karanyachi ranniti kinwa punarlekhan ranniti haah pratyek vastoo kinwa sandnyesathi punarlekhan nirdisht karnara, dilelya qamee karnyachya sambandhashi susangat asalela sambandh asato. kahee lekhak mulyamapanachya dhoranacha sandarbh denyasathi hii sandnya vapartat.
vyakhya.
aupcharikpane, amoort punarlekhan pranali sootra _ 1 sathee, qamee karnyachya dhoranache sootra _ 2 heey sootra _ 3 varr sootra _ 4 saha dwaiti sambandh aahe, jethe sootra _ 5 heey sootra _ 6 chey sankramanshil samapan aahe (parantu prativartak bund nahee). yavyatirikt dhoranache samanya prakar mool punarlekhan pranalichya samanya prakaransarkhech asale pahijet, i.eae. serve sootra _ 7 sathee, sootra _ 9 aay. eff. eff. sootra _ 10 saha eka sootra _ 8 astitvat aahe.
eka paul qamee karnyache dhoran mhanje sootra _ 11. anyatha teey eka 'anek 'anek chey dhoran aahe.
eka "nirdharak" dhoran mhanje jethe sootra _ 2 heey aanshik karya aahe, i.eae. pratyek sootra _ 13 sathee jastit jaast eka sootra _ 8 asey aahe qee sootra _ 15. anyatha tee eka "anirdharit" ranniti aahe.
punarlekhan sandnya.
punarlekhan pranali yaa sandnyemadhye punarlekhan dhoran serve qamee karata yenyajogya upashabdanpaiki (punarlekhan), konatya sandnyela eka mudatimadhye qamee kele pahije ('karar') heey nirdisht karate.
padd punarlekhanasathi eka-charaniy dhorananmadhye khaleel goshtincha samavesh hotoh
anek charananchya dhorananmadhye khaleel goshtincha samavesh hotoh
jawaljawal serve-uttar-kshetriy sandnya punarlekhan pranalinsathi samantar bahyatam aanee sakal-gaath qamee karane heey "atee-samanyikaran" aahe, yacha arth hii dhorane astitvat asalyas, dhoranatil salag anuprayoganmadhye (maryaditpane anek) aniyantrit kapat kartana dekhil, tee akheris samanya swarupat pohochatil.
strategigo hii eka vishisht kshetra-vishisht bhasha aahe jee visheshtah programming term punarlekhan dhoranansathi tayar kelee gelee aahe.
lambda calculus.
lambda gananechya sandarbhat, "samanya-kramatil ghat" mhanje varr dilelya arthane sarvat davya bajula-sarvat varchya bajula honari ghat hoy. samanya-kramatil ghat mhanje samanyikaran, yaa arthane qee jarr ekhadya shabdache swaroop samanya asel tarr samanya-kramatil ghat akheris tyaparyant pohochel, mhanoon naav samanya aahe. yala manakikaran pramey mhanatat.
"davikadil qamee karane" heey kahivela samanya kram qamee karnyasathi vaparale jaate, jase qee purv-aurder traversalmadhye kalpana julatat aanee tyachpramane davikadil sarvat varcha redex haah davikadil suruvatichya varnasah redex asato jevha lambda sandnya varnanchi string manali jaate. jevha 'davikadil' heey inn-aurder traversal vaparoon paribhashit kele jaate tevha kalpana vegalya asatat. udaharanarth, yethe paribhashit sootra _ 17 saha sootra _ 16 yaa sandnyemadhye, inn-aurder traversalcha sarvat davikadil redex sootra _ 18 aahe tarr davikadil sarvat varcha redex sampoorn abhivyakti aahe.
"lagoo aurder kapat" mhanje sarvat davikadil sarvat qamee kapat.
samanya kramachya ulat, jaree yaa shabdache swaroop samanya asale tarihi, lagoo parinami kramachi kapat kadachit samapt honar nahee. udaharanarth, lagoo aurder qamee karnyacha vapar karoon, qamee karnyacha khaleel kram shakya aaheh
sootra _ 19
parantu samanya-kramatil ghat vaparoon, toch prarambhik bindu patkan samanya swarupat qamee hotoh
sootra _ 20
sootra _ 21
"purn β-kapat" mhanje anirdharit eka-charan dhoran jeey pratyek tappyavar konatehi redex qamee karnyas anumati dete. takahashichi 'samantar β-kapat' hii ranniti aahe jee ekach velee yaa sandnyetil serve punarniman qamee karate.
kamkuvat ghat.
samanya aanee lagoo parinami kramane honari kapat majboot aahe kaaran tee lambda amurtatekhali ghat karnyas anumati detat. yaulat, lambda amurtatekhali "kamkuvat" ghat qamee hott nahee. "coll-buy-neem reduction" hii kamkuvat qamee karanyachi ranniti aahe jee lambda amurtatechya aat nasaleli sarvat davi bahereel redex qamee karate, tarr "coll-buy-value reduction" hii kamkuvat qamee karanyachi ranniti aahe jee lambda amurtatechya aat nasaleli sarvat davi aateel redex qamee karate. hii dhorane naav-darr-naav aanee moolya-darr-moolya moolyankan dhorane pratibimbit karnyasathi tayar kelee gelee hotee. kharey tarr, algol 60 aanee aadhunik programming bhashanmadhye bhashanmadhye coll-buy-value parameter passing tantrache model tayar karnyasathi lagoo kram qamee karane dekhil moolatah suru karnyat aale hote. kamkuvat ghat karnyachya kalpaneshi jodale gele tarr parinami parinami coll-buy-value ghat haah kharokhar eka vishvasoo andaj aahe.
durdaivane, kamkuvat ghat hii ektrit nahee aanee lambda gananechi paramparik qamee karanyachi samikarane nirupayogi aahet, kaaran teey kamkuvat moolyankan vyavastheche ullanghan karnare sambandh suchavatat. tathapi, amurtatekhali ghat karnyachya maryadit swarupala parvanagi deuun pranalicha vistar karane shakya aahe, visheshtah jevha redexmadhye amurtatedware bandhalele chull samavisht nasate. udaharanarth, kamkuvat qamee karnyachya dhoranasathi heey samanya swarupat aahe kaaran redex lambda abstractionmadhye asato. parantu hii sandnya ajunahi vistarit kamkuvat kapat dhoranantargat qamee kelee jaau shakate, kaaran redex yacha sandarbh dett nahee.
ishtatam kapat.
ishtatam kapat hii lambda sandnyanchya astitvamule prerit hote, jithe ghatancha kram astitvat nasato, jyamule kamachi nakkal naan karata teey qamee hotat. udaharanarth, vichar qaraa
heey teen nested sandnyanni banalele aahe, aanee. yethe fakt done sambhavya β-kapat karavyat, x varr aanee y varr. bahya x padd qamee kelyane pratham antargat y padd duplicate kele jaate aanee pratyek prat qamee karavi lagel, parantu antargat y padd qamee kelyane pratham tyacha yuktivad z duplicate hoil, jyamule jevha h aanee w chee moolye kalatil tevha karya duplicate hoil.
ishtatam kapat hii lambda gananesathi sankuchit arthane qamee karanyachi ranniti nahee kaaran β-kapat kelyane samayik kelya olakhalya paryayi redexchee mahitee gamavate. tyaeivaji tyachi vyakhya 'label kelele lambda calculus' sathee kelee jaate, eka annotated lambda calculus jeey samayik kele pahije tyaa karyachi achook kalpana ghete.
lablemadhye anoo labelcha eka gananayogya anant sanch aanee sanyojan sootra _ 22, adhorekhanche sootra _ 23 aanee labelche adhorekhanche sootra _ 24 asatat. label keleli sandnya hii lambda calculus sandnya aahe jithe pratyek upapadala label asate. lambda sandnyeche manak prarambhik labeling pratyek upapadala eka adviteey anoo label dete. label kelele β-kapat khalilpramane dile jaateh
sootra _ 25
jethe sootra _ 26 label, sootra _ 27 aanee pratisthapan sootra _ 28 ekatra karate, teey khalilpramane paribhashit kele aahe (bairendraig convention vaparoon):
sootra _ 29
hii pranali susanskrut asalyache siddha kele jaau shakate. tyanantar ishtatam kapat hii samanya kramvarit kinwa kutumbandware kapat vaparoon sarvat jaast-sarvat jaast-sarvat jaast qamee karane mhanoon paribhashit kelee jaate, mhanje.eae. samaan karya bhag labels serve redexchee samantar ghat. dhoran ishtatam aahe, yaa arthane qee teey kutumb qamee karnyachya karnyachya ishtatam (kiman) sankhya paar padate.
ishtatam ghat karnyasathi vyavharik algoridamche varnan pahilyanda 1989 madhye karnyat aale hote, 1974 madhye ishtatam ghat pahilyanda paribhashit kelyanantar eka dashakahun adhik kalanantar. bologna ishtatam uchch-kram machine (boham) hii parasparsanvad jaaliparyant tantrachya vistarachi eka namuna amalbajavani aahe. lambdascope hii parasparsanvad jaali vaparoon dekhil ishtatam qamee karanyachi eka alikadil amalbajavani aahe.
garaj qamee karoon coll qaraa.
"thodya vegalya label kelelya lambda calculusasathi, tyach labels redexchya samantar kamikaranacha vapar karoon, 'coll buy need reduction' chee vyakhya ishtatam qamee karnyasarkhich kamkuvat davikadil sarvat varchya qamee mhanoon kelee jaau shakate. paryayi vyakhya beeta niyamala asha operationmadhye badalate jeey pudhil "aavashyak" ganana shodhate, tyache moolyankan karate aanee serve thikani parinam badalate. vakyarachanechya drushtine sanlagn nasalelya sandnya qamee karnyas parvanagi denyasathi beeta niyam vadhavane aavashyak aahe. navanusar coll aanee mulyanusar coll, garjanusar coll qamee karane heey 'garjanusar coll' kinwa aalashi moolyankan mhanoon olakhalya olakhalya moolyankan dhoranachya vartanache anukaran karnyasathi tayar kele gele.

