computazione quantistica
computazióne quantìstica locuz. sost. f. – Nella scienza dell'informazione, computazione basata sulla trattazione del dato quantistico. La c. q. ha introdotto un campo nuovo [...] distribuzione in parte pubblica estremamente efficiente.
Porte e circuiti. – L’esigenza di avere, nel caso quantistico, computer capaci di eseguire tutte le operazioni di una macchinadiTuring classica, ha portato a introdurre, anche nella c. q., il ...
Leggi Tutto
definibilita
definibilità termine che designa uno dei principali oggetti di studio della logica matematica, insieme con la dimostrabilità e la calcolabilità; consiste in una riflessione sul concetto [...] costruito è detto n-esimo numero di Richard. Ora si consideri la di una definizione rigorosa del concetto di → funzione calcolabile; la risposta a questa esigenza è fornita dallʼintroduzione di alcuni modelli di calcolo come la macchinadi → Turing ...
Leggi Tutto
automa a programma
automa a programma automa universale che opera secondo un programma di calcolo, cioè secondo una successione di istruzioni espresse in un linguaggio di programmazione. Il suo operare, [...] allo stato finale (risultato del calcolo). Esso è perciò caratterizzato da:
• una memoria analoga al nastro della macchinadiTuring; alcune parti della sua memoria sono però individuabili con un «nome» e sono dette registri, ognuno dei quali ...
Leggi Tutto
Post, sistema di
Post, sistema di in logica, uno dei modelli sviluppati per proporre una definizione matematica del concetto intuitivo di → funzione calcolabile; altri modelli, tutti tra loro equivalenti, [...] sono la macchinadi → Turing, le → funzioni ricorsive e il → lambda-calcolo. Nel sistema di Post il calcolo di una funzione matematica è simulato dalla manipolazione di una stringa di simboli attraverso un insieme di regole stabilite in modo ...
Leggi Tutto
universale
universale [agg. e s.m. Der. del lat. universalis, da universus "tutto intero"] [FTC] Qualifica di dispositivi o apparecchi che: (a) possono essere usati in condizioni diverse di alimentazione [...] spec. per misurazioni geodetiche. ◆ [ALG] Fibrato u.: v. fibrati: II 571 d. ◆ [ASF] Funzione u. (di luminosità): v. galassie: II 810 e. ◆ [INF] MacchinadiTuring u.: v. automi, teoria degli: I 330 e. ◆ [OTT] Obiettivo u.: nella tecnica fotografica ...
Leggi Tutto
automa cellulare
Mauro Cappelli
Modello per lo studio dell’evoluzione di sistemi complessi, introdotto negli anni Cinquanta del secolo scorso, da John von Neumann e Stanislaw Ulam. Un automa cellulare [...] biologia. Ma le possibili applicazioni sono pressoché infinite: si pensi che alcuni automi cellulari, cosiddetti universali, sono in grado di simulare il comportamento di ogni altro automa cellulare o macchinadiTuring.
→ Self-organized criticality ...
Leggi Tutto
Church, tesi di
Church, tesi di tesi elaborata dal logico statunitense A. Church; afferma che ogni funzione calcolabile è una funzione ricorsiva e, viceversa, ogni funzione ricorsiva è una funzione calcolabile. [...] ; infatti esprimendo con un qualsiasi formalismo l’idea di → calcolabilità, si riesce a dimostrare soltanto l’ ricorsive, l’insieme delle funzioni calcolabili con una macchinadiTuring e l’insieme delle funzioni rappresentabili nel λ-calcolo ...
Leggi Tutto
Conway
Conway John Horton (Liverpool 1937) matematico inglese. Specialista in teoria dei gruppi, teoria dei giochi e teoria dei nodi, nonché brillante divulgatore, è noto in particolare per l’ideazione [...] , dipende da quello delle celle adiacenti e che si è dimostrato avere le stesse potenzialità di una macchinadiTuring universale. Al di là degli aspetti ludici e delle particolari configurazioni che si formano nell’interazione tra celle, il gioco ...
Leggi Tutto
registro
registro porzione di → memoria dell’elaboratore dedicata all’esecuzione dei programmi e delle procedure; la sua presenza nell’architettura del computer è finalizzata a velocizzare l’accesso [...] L’implementazione dei registri si effettua mediante un tipo di file particolare, detto appunto file registro. A seconda un automa avente una complessiva struttura quale quella della macchinadi → Turing, ma dove parti del nastro sono utilizzate per ...
Leggi Tutto
macchinamàcchina [Der. del lat. machina, dal gr. machaná o mechané] [LSF] Dispositivo costituito da un complesso di parti collegate in modo da ottenere un certo scopo, che spesso è la produzione di [...] discreti del comportamento di m. o dispositivi automatici reali o realizzabili; in partic., m. diTuring (v. Gödel, teorema di: III 56 f , quali i trasformatori e i raddrizzatori: v. macchine elettriche (anche per i vari tipi particolari non nominati ...
Leggi Tutto
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...