Mine sisu juurde

Lambda-arvutus

Allikas: Vikipeedia

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

Lambda-termid

[muuda | muuda lähteteksti]

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

  1. Varmo Vene. "Funktsionaalprogrammeerimine – Loengumaterjal" (PDF). Vaadatud 18.02.2015.