Вікіпедія

Лямбда-числення: відмінності між версіями

Інтерактивний перегляд історії
[неперевірена версія][неперевірена версія]
← Попереднє редагуванняНаступне редагування →
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
мНемає опису редагування
Рядок 9:
Функція ''n'' змінних <math>v_1, \dots, v_n</math> в λ-численні позначається наступним чином:
:<math>f = \lambda v_1\ldots v_n . e_0</math>.
Символ <math>f</math> в лівій частині цього рівняння задає ''назву'' функції, (або ''ідентифікатор''), за яким можна посилатись на цю функцію в інших виразах. Вираз ву правій частині рівняння визначає ''абстракцію'' змінних <math>v_1, \ldots, v_n</math> від виразу <math>e_0</math>, котрий називається ''тілом абстракції''. Конструкція <math>\lambda v_1, \ldots, v_n</math> є ''абстрактором'' появи вільних змінних <math>v_1, \dots, v_n</math> в тілі функції <math>e_0</math>.
 
''Застосування'' функції (або абстракції) з назвою <math>f</math> до виразу з <math>r</math> аргументами <math>e_1, \ldots, e_r</math> позначається:
Рядок 26:
Тобто, λ-вираз це: або змінна, що позначається ''v'', константа ''c'', застосування λ-виразу <math>e_0</math> до λ-виразу <math>e_1</math>, або абстракція змінної ''v'' від λ-виразу <math>e_0</math> відповідно.
 
λ-числення називається ''чистим'', якщо множина констант порожня. В іншому випадку, числення називається ''аплікативним''.
 
== Примітки ==
Отримано з https://uk.wikipedia.org/wiki/Лямбда-числення