Интернет магазин китайских планшетных компьютеров

Компьютеры - Лямбда-исчисление -

Поскольку выражение обозначает функцию, ставящую в соответствие каждому x значение , то для вычисления выражения

,

в которое входят и аппликация и абстракция, необходимо выполнить подстановку числа 3 в терм вместо переменной x. В результате получается . Это соображение в общем виде записывается как

и носит название β-редукция. Выражение вида , то есть применение абстракции к некому терму, называется редексом. Несмотря на то, что β-редукция по сути является единственной «существенной» аксиомой λ-исчисления, она приводит к весьма содержательной и сложной теории. Вместе с ней λ-исчисление обладает свойством полноты по Тьюрингу и, следовательно, представляет собой простейший язык программирования.

η-преобразование

η-преобразование выражает ту идею, что две функции являются идентичными тогда и только тогда, когда, будучи применённые к любому аргументу, дают одинаковые результаты. η-преобразование переводит друг в друга формулы и f.