Entry tags:
Лямбда, которую мы потеряли
Пара задачек по лямбда-исчислению.
(1) Сконструируйте лямбда-терм F, такой что для любого терма M выполнялось бы
(2) Сконструируйте лямбда-терм G, такой что для любых термов M и N выполнялось бы
Ответы не скринятся, так что если хотите думать сами - не смотрите в комменты.
(1) Сконструируйте лямбда-терм F, такой что для любого терма M выполнялось бы
FM = MF
(2) Сконструируйте лямбда-терм G, такой что для любых термов M и N выполнялось бы
GMN = NG(NMG)
Ответы не скринятся, так что если хотите думать сами - не смотрите в комменты.
no subject
no subject