Pages: [1]   Go Down
Print
Author Topic: Esercizio 33 Modelli Computazionali  (Read 649 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
mordom
Matricola
*
Offline Offline

Posts: 14


« on: 21-01-2019, 23:58:22 »

Salve,
ho provato a risolvere questo esercizio, eseguendo le opportune ridenominazioni prima delle sostituzioni, vorrei se possibile un vostro riscontro.

(X. Espressione ridenominata -> Espressione dopo sostituzione)

Eseguire le seguenti sostituzioni:
1. (λx.yx)[yz/x]
2. (λy.xy)[yz/x]
3. (λz.(λx.yx)xz)[zx/x]
----------------------------
1. (λt.yt) ->  (λt.yt)
2. (λt.xt) -> (λt.yzt)
3 (λw.(λt.yt)xw) ->  (λw.(λt.yt)zxw)

Grazie a tutti in anticipo!
Buona serata
Logged
Kada
Matricola
*
Offline Offline

Posts: 15


« Reply #1 on: 22-01-2019, 00:43:33 »

ciao, provo a risponderti io.

le sostituzioni sono corrette. devi solo sistemare alcune parentesi.

2. (λt.(yz)t)

3. (λw.(λt.yt)(zx)w)
« Last Edit: 22-01-2019, 00:47:16 by Kada » Logged
AndreaDeDomenico
Matricola
*
Offline Offline

Posts: 10



« Reply #2 on: 22-01-2019, 11:32:04 »


2. (λt.(yz)t)

3. (λw.(λt.yt)(zx)w)


Ben fatto, piccola precisazione: nel caso (2) le parentesi sono giuste ma non necessarie, \t.yzt si "parentesizza" come (\t.((yz)t))
(ricordiamoci dell'associatività a sinistra)
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.072



WWW
« Reply #3 on: 22-01-2019, 12:37:12 »

 ok
Logged
mordom
Matricola
*
Offline Offline

Posts: 14


« Reply #4 on: 24-01-2019, 16:33:56 »

Perfetto e grazie tutti per i suggerimenti!
Logged
Pages: [1]   Go Up
Print
Jump to: