Lambda: erinevus redaktsioonide vahel
Resümee puudub |
Resümee puudub |
||
| (ei näidata sama kasutaja 7 vahepealset redaktsiooni) | |||
| 1. rida: | 1. rida: | ||
Lambda on kreeka tähestiku täht, mis vastab ladina l-tähele. Selle kogumiku nimeks | |||
Lambda on kreeka tähestiku täht, mis vastab ladina tähele | |||
sai '''lambda''' seetõttu, et 1930 aastatel lõi | sai '''lambda''' seetõttu, et 1930 aastatel lõi | ||
[http://en.wikipedia.org/wiki/Alonzo_Church A.Church] ühe esimestest | [http://en.wikipedia.org/wiki/Alonzo_Church A.Church] ühe esimestest | ||
| 11. rida: | 8. rida: | ||
[http://en.wikipedia.org/wiki/Lambda_calculus lambda-arvutuseks] | [http://en.wikipedia.org/wiki/Lambda_calculus lambda-arvutuseks] | ||
(praktiliseks katsetamiseks külasta [http://ling.ucsd.edu/~barker/Lambda/ seda saiti]). | (praktiliseks katsetamiseks külasta [http://ling.ucsd.edu/~barker/Lambda/ seda saiti]). | ||
Lambda-arvutus oli küll puhtalt teooria | Lambda-arvutus oli küll puhtalt teooria | ||
jaoks mõeldud keel, aga oma äärmise lihtsuse ja üldisuse tõttu muutus ta | jaoks mõeldud keel, aga oma äärmise lihtsuse ja üldisuse tõttu muutus ta | ||
hiljemloodud praktiliste programmeerimiskeelte üheks peamiseks ideeliseks aluseks. | hiljemloodud praktiliste programmeerimiskeelte üheks peamiseks ideeliseks aluseks. | ||
Keel ei sisalda tegelikult midagi muud, kui lihtsakoelist asenduste | |||
tegemise mehhanismi. Avaldis ((λ x. ''t'') ''g'') arvutatakse välja nii, | |||
et asendatakse sisemises avaldises ''t'' kõik muutujad x (lambda-sümbol x ees tähistabki, | |||
et x on asendamisele kuuluv muutuja) avaldisega ''g''. Seega on (λ x. ''t'') | |||
siinkohas funktsioon ning ''g'' on tema argument. NB! Kui taolise asendamise tulemuses | |||
saab veel asendusi teha, siis tuleb asendamist jätkata, kuni neid enam kuskil | |||
teha ei saa (öeldakse, et avaldis on siis normaalkujul). | |||
Näiteks: avaldis ((λ x. f x) a) annab arvutamise | |||
(st. asendamise) tulemuseks (f a), avaldis ((λ x. x x) a) annab tulemuseks (a a), | |||
avaldis ((λ x. x x) ((λ x. x x) b)) annab mitme järjestikuse asendamise tulemusena | |||
avaldise ((b b)(b b)), avaldise ((λ x. x x) (λ x. x x)) arvutamine läheb lõputusse | |||
tsüklisse, sest asendamine midagi ei muuda, avaldise väärtus on ta ise. | |||
Oranzh lambda-sümbol on veel sisemine osa | |||
[http://en.wikipedia.org/wiki/Half-Life Half-Life] | [http://en.wikipedia.org/wiki/Half-Life Half-Life] | ||
Black Mesa kompleksi | Black Mesa kompleksi | ||
[http://www.hlfallout.net/articles.php/article_1/ lambda sektori] | [http://www.hlfallout.net/articles.php/article_1/ lambda sektori] | ||
logost. | logost. | ||
Viimane redaktsioon: 25. veebruar 2005, kell 14:13
Lambda on kreeka tähestiku täht, mis vastab ladina l-tähele. Selle kogumiku nimeks sai lambda seetõttu, et 1930 aastatel lõi A.Church ühe esimestest programmeerimiskeeltest maailmas (teine oli Churchi õpilase A.Turingu nn "Turingi masin") ning nimetas selle keele lambda-arvutuseks (praktiliseks katsetamiseks külasta seda saiti).
Lambda-arvutus oli küll puhtalt teooria jaoks mõeldud keel, aga oma äärmise lihtsuse ja üldisuse tõttu muutus ta hiljemloodud praktiliste programmeerimiskeelte üheks peamiseks ideeliseks aluseks. Keel ei sisalda tegelikult midagi muud, kui lihtsakoelist asenduste tegemise mehhanismi. Avaldis ((λ x. t) g) arvutatakse välja nii, et asendatakse sisemises avaldises t kõik muutujad x (lambda-sümbol x ees tähistabki, et x on asendamisele kuuluv muutuja) avaldisega g. Seega on (λ x. t) siinkohas funktsioon ning g on tema argument. NB! Kui taolise asendamise tulemuses saab veel asendusi teha, siis tuleb asendamist jätkata, kuni neid enam kuskil teha ei saa (öeldakse, et avaldis on siis normaalkujul).
Näiteks: avaldis ((λ x. f x) a) annab arvutamise (st. asendamise) tulemuseks (f a), avaldis ((λ x. x x) a) annab tulemuseks (a a), avaldis ((λ x. x x) ((λ x. x x) b)) annab mitme järjestikuse asendamise tulemusena avaldise ((b b)(b b)), avaldise ((λ x. x x) (λ x. x x)) arvutamine läheb lõputusse tsüklisse, sest asendamine midagi ei muuda, avaldise väärtus on ta ise.
Oranzh lambda-sümbol on veel sisemine osa Half-Life Black Mesa kompleksi lambda sektori logost.