« предыдущая тема следующая тема »
Страницы: [1]

Автор Тема: Y = λf.(λx.f (x x)) (λx.f (x x)) - wolframalpha не смогла понять (Пятнично  (Прочитано 3537 раз)

pygubanov

  • Newbie
  • *
  • Сообщений: 21
    • Просмотр профиля
Y = λf.(λx.f (x x)) (λx.f (x x)) - wolframalpha не смогла понять (Пятнично
« : Март 15, 2013, 11:43:42 am »
Y = λf.(λx.f (x x)) (λx.f (x x))  - wolframalpha не смогла понять

если убрать точки, заменив их на пробелы, то ответ будет Y = λ^3 f^3 x^6
Записан

valexey_u

  • Hero Member
  • *****
  • Сообщений: 3013
    • Просмотр профиля
Re: Y = λf.(λx.f (x x)) (λx.f (x x)) - wolframalpha не смогла понять (Пятнич
« Ответ #1 : Март 15, 2013, 12:23:43 pm »
Цитата: pygubanov от Март 15, 2013, 11:43:42 am
Y = λf.(λx.f (x x)) (λx.f (x x))  - wolframalpha не смогла понять

если убрать точки, заменив их на пробелы, то ответ будет Y = λ^3 f^3 x^6

Это ж Y-комбинатор -- один из комбинаторов неподвижной точки. Интересно, что там wolframalpha должна была бы выдать? ;-)
Записан
Y = λf.(λx.f (x x)) (λx.f (x x))

ilovb

  • Hero Member
  • *****
  • Сообщений: 2538
  • just another nazi test
    • Просмотр профиля
    • Oberon systems
Re: Y = λf.(λx.f (x x)) (λx.f (x x)) - wolframalpha не смогла понять (Пятнич
« Ответ #2 : Март 15, 2013, 12:57:29 pm »
Цитата: valexey_u от Март 15, 2013, 12:23:43 pm
Это ж Y-комбинатор -- один из комбинаторов неподвижной точки.
Записан

Geniepro

  • Hero Member
  • *****
  • Сообщений: 1955
  • Знайте- истина в том, что повторено трижды подряд!
    • Просмотр профиля
Re: Y = λf.(λx.f (x x)) (λx.f (x x)) - wolframalpha не смогла понять (Пятнич
« Ответ #3 : Март 17, 2013, 05:30:48 pm »
Да это же основы нетипизированного лямбда-исчисления. В типизированных языках типа хаскеля или окамля это выражение является неправильным, кстати -- у него бесконечный тип...
Записан
to iterate is human, to recurse, divine

Салат «рекурсия»: помидоры, огурцы, салат…
Страницы: [1]
« предыдущая тема следующая тема »