У меня возникли проблемы с преобразованием лямбды для флипа в комбинаторы SKI (надеюсь, это имеет смысл). Вот моя конверсия: /fxy.fyx /f./x./y.fyx /f./x.S (/y.fy) (/y.x) /f./x.S f (/y.x) /f./x.S f (K x) /f.S (/x.S f) (/x.K x) /f.S (/x.S f) K /f.S...

У меня есть уравнение Y = FY (уравнение с фиксированной точкой). Как получить из него уравнение для F через другой комбинатор (в частности S-комбинатор с первым фиксированным параметром)?