Lambda-arvutus

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

Lambda-termid
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.

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 : .

Viited

Programmeerimine
Loogika