Pages: [1]   Go Down
Print
Author Topic: Lambda Calcolo  (Read 387 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
mattia97
Matricola
*
Offline Offline

Posts: 10


« on: 01-03-2017, 15:54:19 »

Trovare la forma normale di:
(λxxxx.xx)(λx.xx)(λx.x)y((λx.x)x)

qualcuno può aiutarmi?
Logged
Syndrome97
Matricola
*
Offline Offline

Gender: Male
Posts: 26



« Reply #1 on: 01-03-2017, 17:56:56 »

Trovare la forma normale di:
(λxxxx.xx)(λx.xx)(λx.x)y((λx.x)x)

qualcuno può aiutarmi?

Ciao, credo sia:

(λxxxx.xx)(λx.xx)(λx.x)y((λx.x)x)
(λabcx.xx)(λx.xx)(λx.x)y(x)
(λbcx.xx)(λxx)yx
(λcx.xx)yx
(λx.xx)x
xx
Logged

A book should serve as the ax for the frozen sea within us.
-Franz Kafka
Pages: [1]   Go Up
Print
Jump to: