Get Babylon's Translation Software!
Free Download Now!
| Wikipedia Italiano L'enciclopedia libera | scarica questo dizionario |
Lambda calcolo
Il lambda calcolo è un sistema di riscrittura definito formalmente dal matematico Alonzo Church. È stato sviluppato per analizzare formalmente le definizioni di funzioni, le loro applicazioni ed è uno strumento interessante per studiare anche fenomeni di ricorsione. In quanto sistema di riscrittura, esso dà una descrizione dei termini ben formati, che sono le sequenze di simboli riconosciute dal sistema e in grado di essere riscritti da esso. Il lambda calcolo, infatti, definisce un insieme di regole di riscrittura che determinano in maniera precisa come i termini stessi possano essere riscritti. In questo modo, il processo di riscrittura diventa un vero e proprio calcolo. Per tale ragione, nel corso di questa descrizione ci si riferirà al lambda calcolo come il calcolo, quando non ci sarà pericolo di ambiguità.
Per saperne di più visita Wikipedia.org...
Questo articolo utilizza materiale tratto da Wikipedia® ed è autorizzato sotto la licenza GNU Free Documentation License
