У меня есть уравнение Y = FY (уравнение с фиксированной точкой). Как получить из него уравнение для F через другой комбинатор (в частности, S-комбинатор с первым фиксированным параметром)?
У меня возникли проблемы с преобразованием лямбды для переключения в комбинаторы SKI (надеюсь, это имеет смысл). Вот мое преобразование: /fxy.fyx
/f./x./y.fyx
/f./x.S (/y.fy) (/y.x)
/f./x.S f (/y.x