Изменения
Нет описания правки
Это даст функцию, которая посчитает факториал числа. Но делать она это будет мееедленно-меееедленно. Для того, чтобы посчитать <tex>5!</tex> потребовалось сделать 66066 <tex>\beta</tex>-редукций.
Наиболее известным комбинатором неподвижной точки является <tex>Y</tex>-комбинатор, введенный известным американским ученым Хаскеллом Карри как
:<tex>Y=\lambda f.(\lambda x.f(xx))(\lambda x.f(xx))</tex>
Тут правда ничего не понятно? :'(
*[http://ru.wikipedia.org/wiki/%D0%9B%D1%8F%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5 Русская Википедия]
==См. такжеСсылки==
*[http://worrydream.com/AlligatorEggs Игра про крокодилов]
[[Категория: Теория формальных языков]]
[[Категория: Теория вычислимости]]
