Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] che si ha IP=PSPAZIO.
Teoria computazionale quantistica
La teoria computazionale quantistica nasce da un suggerimento del fisico RichardFeynman, secondo il quale la macchina di Turing può non essere in generale il modello adatto per simulare un ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] : Epstein, David B.A. e altri, Word processing in groups, Boston (Mass.), Jones and Bartlett, 1992.
Feynman 1982: Feynman, Richard, Simulating physics with computers, "International journal of theoretical physics", 21, 1982, pp. 467-488.
Furst 1984 ...
Leggi Tutto
Computer science
Scott Kirkpatrick
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e l’ingegneria, costituendo dal punto di vista accademico un settore [...] di calcolo da parte di sistemi quantomeccanici semplici è stato stimolato da due direzioni. Nel 1982 Richard P. Feynman ipotizzò che, poiché gli algoritmi di calcolo convenzionali impiegati per simulare l’evoluzione di sistemi quantistici sono ...
Leggi Tutto
La grande scienza. Computer science
Scott Kirkpatrick
Computer science
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e dell'ingegneria, costituendo dal [...] capacità di calcolo da parte di sistemi quantomeccanici semplici è stato stimolato da due direzioni. Nel 1982 Richard P. Feynman ipotizzò che, poiché gli algoritmi di calcolo convenzionali impiegati per simulare l'evoluzione di sistemi quantistici ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] nei processi di calcolo che essi eseguono. Negli anni Novanta, sulla base di intuizioni di Paul A. Benioff e Richard P. Feynman nel decennio precedente, si è cominciato a studiare il concetto di calcolo quantistico, il suo potere computazionale, le ...
Leggi Tutto
La grande scienza: introduzione
Enrico Alleva
Sergio Carrà
Gilberto Corbellini
Giorgio Parisi
La grande scienza
Le attività di ricerca scientifica abbracciano oggi un enorme numero di settori e di [...] e che, opportunamente mimati, potrebbero portare alla costruzione delle micromacchine anticipate dalla fervida fantasia del fisico teorico Richard P. Feynman.
Scienza e società
Proprio a causa del ruolo assunto nello sviluppo di nuove tecnologie, la ...
Leggi Tutto
nanocomponente
s. m. Elemento microscopico che compone una sostanza. ◆ Scienziati dell’Università di Edimburgo nei mesi scorsi hanno puntato l’indice contro la possibilità che i nanocomponenti finiscano nelle vie respiratorie umane per le...