Ava peamenüü

Lambda-arvutus

(Ümber suunatud leheküljelt Lambdaarvutus)

Lambda-arvutus (λ-arvutus) on formaalne arvutuste esitusviis. Seda kasutatakse matemaatilises loogikas ja funktsionaalprogrammeerimises.

Lambda-termidRedigeeri

Avaldis λ-arvutuses koosneb kolme tüüpi λ-termidest:

  • Muutuja   on λ-term.
  • Kui   on λ-term ja   on muutuja, siis   on λ-term, mis on abstraktsioon.
  • Kui   ja   on λ-termid, siis   on λ-term, mis on aplikatsioon.[1]

Abstraktsioon on λ-arvutustes funktsiooni kirjeldus kujul  , kus   on funktsiooni sisend ja   avaldis, mida arvutatakse. Näiteks   tähistab funktsiooni  . Kirjeldatud funktsioon on anonüümne ehk nimetu.

Aplikatsioon   tähistab funktsiooni   väljakutsumist sisendiga  . Näiteks   tähistab funktsiooni   väljakutset sisendiga  :  .

ViitedRedigeeri

  1. Varmo Vene. "Funktsionaalprogrammeerimine – Loengumaterjal". Vaadatud 18.02.2015.