Pages: [1]   Go Down
Print
Author Topic: Esercizio Lambda-calcolo  (Read 446 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Livio
Matricola
*
Offline Offline

Posts: 18


« on: 28-02-2017, 12:39:33 »

ho un dubbio riguardante l'esecuzione degli esercizi sul lambda calcolo , cercando sul web per dubbi ho trovato questo esercizio e mi è venuto un dubbio:

l'esercizio è il seguente, trovare la forma normale di : (λx.xy)(λz.zx)(λz.zx)

partendo da sinistra mi viene : (λx.xy)(λz.zx)(λz.zx)  ->((λz.zx)y)(λz.zx) -> (yx)(λz.zx)

partendo da destra mi viene invece : (λx.xy)(λz.zx)(λz.zx)  ->(λx.xy)((λz.zx)x)->(λx.xy)(xx)->xxy

le soluzioni mi sembrano diverse ed il dubbio è il seguente : qual'è l'approccio giusto da seguire?
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 2.622



WWW
« Reply #1 on: 28-02-2017, 15:22:27 »

partendo da sinistra

Cosa significa?
Logged
Livio
Matricola
*
Offline Offline

Posts: 18


« Reply #2 on: 28-02-2017, 16:14:25 »

partendo da sinistra

Cosa significa?

(λx.xy)(λz.zx)(λz.zx)  ->((λz.zx)y)(λz.zx) -> (yx)(λz.zx)

(λx.xy)(λz.zx)(λz.zx)  ->(λx.xy)((λz.zx)x)->(λx.xy)(xx)->xxy

ho sottolineato i redex per chiarezza spero che sia più chiaro
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 2.622



WWW
« Reply #3 on: 28-02-2017, 17:37:37 »

(λx.xy)(λz.zx)(λz.zx)

Per le convezioni notazionali sulle parentesi
scrivendo
(λx.xy)(λz.zx)(λz.zx)
si intende
((λx.xy)(λz.zx))(λz.zx)

quindi la tua riduzione "partendo da destra" non si puo' fare.

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