Pages: [1]   Go Down
Print
Author Topic: Esercizio numero 50 (Modelli computazionali)  (Read 431 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Monkey
Matricola
*
Offline Offline

Posts: 2


« on: 10-01-2018, 22:55:07 »

Salve prof, ho provato a svolgere l'esercizio numero 50 procedendo come segue:
       (λx.xxy)(λxy.xyy)
separando nel testo i termini in grassetto, esso diventa
       (λx.xxy)(λx.(λy.xyy))
-->beta (λx.(λy.xyy))(λx.(λy.xyy))y
=alpha (λx.(λy.xyy))(λx.(λt.xtt))y
-->beta (λx.(λy.xyy))(λt.ytt)
-->beta (λy.(λt.ytt)yy)
-->beta (λt.ytt)y
-->beta yyy

Potrebbe dirmi se quel che ho fatto è corretto? Ho qualche dubbio soprattutto sulla parte finale... 
(se ho scritto oscenità non mi uccida)  pray  testate
Logged
teo998
Matricola
*
Offline Offline

Posts: 43



WWW
« Reply #1 on: 11-01-2018, 16:06:46 »

=alpha (λx.(λy.xyy))(λx.(λt.xtt))y

non puoi fare questa riduzione perché per farla stai associando l'operazione di applicazione a sinistra, quando si può associare solo a destra.
quello che puoi fare è
(λx.(λy.xyy))(λx.(λt.xtt))y
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 2.934



WWW
« Reply #2 on: 11-01-2018, 20:53:30 »

=alpha (λx.(λy.xyy))(λx.(λt.xtt))y

non puoi fare questa riduzione perché per farla stai associando l'operazione di applicazione a sinistra, quando si può associare solo a destra.
quello che puoi fare è
(λx.(λy.xyy))(λx.(λt.xtt))y

 ok ok ok
Logged
Monkey
Matricola
*
Offline Offline

Posts: 2


« Reply #3 on: 11-01-2018, 22:10:27 »

=alpha (λx.(λy.xyy))(λx.(λt.xtt))y

non puoi fare questa riduzione perché per farla stai associando l'operazione di applicazione a sinistra, quando si può associare solo a destra.
quello che puoi fare è
(λx.(λy.xyy))(λx.(λt.xtt))y


Ok, grazie per la correzione  testate. Quindi diventa così?

            (λx.xxy)(λx.(λy.xyy))

-->beta (λx.(λy.xyy))(λx.(λy.xyy))y
= alpha (λx.(λy.xyy))(λx.(λt.xtt))y
-->beta (λy.(λx.(λt.xtt))yy)y
-->beta (λx.(λt.xtt))yy
-->beta (λt.ytt)y
-->beta yyy
Logged
Pages: [1]   Go Up
Print
Jump to: