Изменения
Нет описания правки
== Лямбда-исчисление==
Более формально, ''лямбда-функцию'' (или, ''лямбда<tex>\lambda -терм''term</tex>) можно задать
следующей грамматикой:
{{Определение
{{Определение
|definition=''<tex>\alpha</tex>-эквивалетностью<tex>(\alpha -equivalence)</tex>'' {{---}} называется наименьшее соотношение эквивалентности на <tex>\Lambda</tex> такое что:
:<tex>P=_\alpha P</tex> для любого <tex>P</tex>
:<tex>\lambda x.P=_\alpha \lambda y.P[x:=y]</tex> если <tex>y \not\in FV(P)</tex>
{{Определение
|definition=
<tex>\beta</tex>-редукция (<tex>\beta -reduction</tex>) это наименьшее соотношение на <tex>\Lambda</tex> такое что
:<tex>(\lambda x.P)Q\to _\beta P[x:=Q]</tex>
и замкнуто относительно следующих правил
