Конфликт имен в лямбда-исчислении

[foo-bar2014]

Подскажите пжста, как разрешается конфликт, например, в таком выражении: Lx.Ly.Lx. x y? Какое значение будет у икса, который в аппликации? Насколько я помню, общее правило: подстановка, затем редукция, и x должен подставиться во все вхождения, только по-моему, свободные, а в нашей аппликации, x связан. Значит, как я понимаю, крайний левый x должен проигнорироваться?

[Lia]

Тема перемещена из форума «Математика (общие вопросы)» в форум «Карантин»
Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.