Pages: [1]   Go Down
Print
Author Topic: Es. 34 Sostituzione  (Read 425 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Stefano clm
Matricola
*
Offline Offline

Posts: 10


« on: 10-01-2018, 19:10:06 »

Salve professore, ho provato a svolgere l’esercizio 34 dei modelli computazionali dove bisogna eseguire una sostituzione .
L'ho fatto in questo modo:
z(λy.wy)λz.((λx.yx)xz) [yz/x,yz/w]
attuo un alfa conversione:
z’(λy’.wy’)λz’.((λx’.y’x’)xz’) [yz/x,yz/w]
attuo le sostituzioni:
z’(λy’.(yz)y’)λz’.((λx’.y’x’)(yz)z’) [yz/x,yz/w]
 

può dirmi se è giusto o  se ho toppato totalmente?

Inviato dal mio HUAWEI VNS-L31 utilizzando Tapatalk
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 2.934



WWW
« Reply #1 on: 10-01-2018, 22:21:36 »

Quote
z(λy.wy)λz.((λx.yx)xz) [yz/x,yz/w]
attuo un alfa conversione:
z’(λy’.wy’)λz’.((λx’.y’x’)xz’) [yz/x,yz/w]

Stai affermando che
z(λy.wy)λz.((λx.yx)xz)
e' alpha-convertibile a
z’(λy’.wy’)λz’.((λx’.y’x’)xz’)

il che e' sbagliato, poiche' le variabili indicate in grassetto qui sotto
z(λy.wy)λz.((λx.yx)xz)
sono libere. Con l'alpha conversione noi rinominiamo le variabile legate, non quelle libere!

z(λy.wy)λz.((λx.yx)xz)
e' alpha-convertibile a
z(λy’.wy’)λz’.((λx’.yx’)xz’)

Logged
Stefano clm
Matricola
*
Offline Offline

Posts: 10


« Reply #2 on: 10-01-2018, 23:16:57 »

quindi così è giusto ?


z(λy.wy)λz.((λx.yx)xz) [yz/x,yz/w]
attuo un alfa conversione:
z(λy’.wy’)λz’.((λx’.yx’)xz’) [yz/x,yz/w]
attuo le sostituzioni:
z(λy’.(yz)y’)λz’.((λx’.y x’)(yz)z’) [yz/x,yz/w]
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 2.934



WWW
« Reply #3 on: 11-01-2018, 20:52:25 »

applico le sostituzioni, ottenendo
z(λy’.(yz)y’)λz’.((λx’.y x’)(yz)z’)

Avevi lasciato la sostituzione anche dopo averla applicata....
Logged
Stefano clm
Matricola
*
Offline Offline

Posts: 10


« Reply #4 on: 11-01-2018, 21:53:25 »

una svista testate testate. Vabene ho capito,grazie professore!
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 2.934



WWW
« Reply #5 on: 12-01-2018, 16:48:39 »

Quote
una svista

OK, faccio finta di crederci. 

 
Logged
Pages: [1]   Go Up
Print
Jump to: