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 [...] filo dev’essere rimpiazzato da un complesso dispositivo che realizzi il teletrasporto dello stato. L’automa quantistico e algoritmi. – La teoriadegliautomi e dei linguaggi formali si occupa della descrizione delle proprietà di sequenze di simboli ...
Leggi Tutto
Neumann (von), automa di
Neumann (von), automa di nell’accezione generale, modello logico di una macchina che esegue calcoli e prende decisioni in base ai dati immagazzinati nella sua memoria e a un [...] griglia, creando una nuova generazione di celle. Inizialmente concepita dal matematico S.M. Ulam negli anni Quaranta, la teoriadegliautomi cellulari si è successivamente sviluppata grazie ai lavori di A. Turing, J. von Neumann e S. Wolfram ed ...
Leggi Tutto
biomatematica
biomatemàtica s. f. – Disciplina che utilizza i metodi matematici per descrivere dal punto di vista qualitativo e quantitativo il comportamento di sistemi biologici. A tal fine occorre [...] del numero delle cellule è trattato in termini di teoriadegliautomi; i processi di accrescimento e organogenesi come estensione di problemi termodinamici, di teoria delle catastrofi ecc.; la teoria della scelta della dieta ottimale per le specie ...
Leggi Tutto
rete di Petri
Mauro Cappelli
Strumento teorico per la modellazione di processi in un sistema distribuito a stati discreti. Proposte nel 1962 da Carl Adam Petri, le reti di Petri rappresentano una teoria [...] generale per i sistemi discreti paralleli e sono basate su un linguaggio che risulta essere una generalizzazione della teoriadegliautomi. Esse permettono di rappresentare la struttura del sistema come un grafo composto da due tipi di nodi (detti ...
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 [...] registro può variare da 8 a 64 bit e anche oltre. Nella teoriadegliautomi il registro si applica specificamente agli → automi a programma o, in generale, a un automa avente una complessiva struttura quale quella della macchina di → Turing, ma dove ...
Leggi Tutto
insieme
insième [Der. del lat. insemel, forma corrotta di insimul, comp. di in- e simul "insieme"] [ALG] Secondo la definizione di G. Cantor, ogni raccolta (aggregato, famiglia) di enti distinti, detti [...] ◆ I. perfetto: ogni i. chiuso privo di punti isolati. ◆ I. raggiungibile: v. controllo, teoria del: I 752 c. ◆ I. ricorsivo e ricorsivamente numerabile: v. automi, teoriadegli: I 332 c. ◆ I. risolvente: v. algebre di operatori: I 93 c. ◆ I. standard ...
Leggi Tutto
Turing 〈tiùrin〉 Alan Mathison [STF] (Londra 1912 - Wilmslow, Cheshire, 1954) Lettore di matematica nell'univ. di Manchester (1948). ◆ [INF] Ipotesi di T.: v. automi, teoriadegli: I 330 b. ◆ [INF] Macchina [...] di T.: modello meccanico di algoritmi, proposto da T. nel 1936: v. automi, teoriadegli: I 330 b e Gödel, teorema di: III 56 f. ◆ [INF] Test di T.: v. intelligenza artificiale: III 233 b. ...
Leggi Tutto
automaautòma [Der. del lat. automatus, dal gr. aytòmatos "che si muove da sé" (pl. autòmi)] [INF] Denomin. di macchine capaci di movimenti automatici, anche relativ. complessi, che furono realizzate [...] ; attualmente, denomin. di macchine automatiche programmabili dall'esterno e, almeno in parte, autoprogrammantisi: v. automi, teoriadegli. Gli a., il cui carattere potentemente suggestivo, sconfinante nel magico, contribuì molto al fascino che essi ...
Leggi Tutto
teoria dei semigruppi
Luca Tomassini
Un semigruppo è un insieme con una operazione binaria * (comunemente detta moltiplicazione) che soddisfi la proprietà associativa: a*(b*c)=(a*b)*c. Un semigruppo [...] di operatori su spazi di Banach), della geometria differenziale (semigruppi di trasformazioni) e anche della teoria algebrica degliautomi (semigruppi di automi). Un fatto, questo, che appare naturale a causa dell’enorme varietà di esempi di ...
Leggi Tutto
Scienza che studia le funzioni sensorie e motorie degli organismi viventi, al fine di individuare soluzioni sofisticate per problemi tecnici e di riprodurle o potenziarle con dispositivi elettronici o [...] base teorica del funzionamento dei sistemi autoorganizzantisi è in definitiva lo studio logico-matematico dei sistemi neuronici, costituente, con la denominazione di teoria generale degliautomi, uno dei problemi fondamentali della cibernetica (➔). ...
Leggi Tutto
automa
autòma (ant. autòmato) s. m. [dal lat. automătus, gr. αὐτόματος, agg., «che si muove da sé»] (pl. autòmi, ant. autòmati). – 1. Macchina che riproduce i movimenti (e in genere anche l’aspetto esterno) dell’uomo e degli animali. Quindi,...
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...