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
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
Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] minima" della scrittura di un elemento in un'a. di Boole? (G. Birkhoff, l. c.).
c) Teoria algebrica degliautomi. Si può dare una definizione formale (matematica) di un automa M. Esso è un sistema costituito da due insiemi A e Z di simboli d'ingresso ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] rete neurale di W. McCulloch e W. Pitts e propone il concetto di automa finito. Esso ha un insieme finito di stati e ci sono azioni che nome di EGA) in cui introduce e studia la teoriadegli schemi su anelli qualsiasi e quella dei morfismi tra schemi ...
Leggi Tutto
macchina
mà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 [...] nel fatto che esse costituiscono la base di m. più complesse. ◆ [INF] M. sequenziale, non sequenziale e universale: v. automi, teoriadegli: I 330 e, f. ◆ [FTC] [TRM] M. termica: quella nella quale l'energia utilizzata o, meno spesso, prodotta è ...
Leggi Tutto
punto
punto [Der. del lat. punctum "puntura, forellino", dal part. pass. punctus di pungere "pungere"] [LSF] (a) Ente geometrico che non ha estensione in nessuna delle dimensioni dello spazio e che pertanto [...] dinamica del p., v. dinamica: II 176 d; per la dinamica impulsiva del p., v. dinamica impulsiva: II 192 b; per l'equilibrio relativo del p. materiale, v. meccanica relativa: III 721 b. ◆ [INF] Teorema del p. fisso: v. automi, teoriadegli: I 333 a. ...
Leggi Tutto
linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] di programmazione. ◆ [ELT] [INF] L. algebrico: v. base di dati: I 343 a. ◆ [ELT] [INF] L. contestuale, acontestuale, regolare: v. automi, teoriadegli: I 331 f, c. ◆ [ALG] [FAF] L. deduttivo: v. logica: III 486 a. ◆ [ELT] [INF] L. di definizione e ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] . ma furono orientamenti e teorie precedenti a fornire le basi per il suo pieno sviluppo. La teoriadegli spazi di Hilbert, per le risorse allora disponibili (valutate in 64.000 'automi' umani provvisti di calcolatrici da tavolo), questa eventualità ...
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 [...] II 571 d. ◆ [ASF] Funzione u. (di luminosità): v. galassie: II 810 e. ◆ [INF] Macchina di Turing u.: v. automi, teoriadegli: I 330 e. ◆ [OTT] Obiettivo u.: nella tecnica fotografica, obiettivo dotato di un attacco che gli consente di essere usato su ...
Leggi Tutto
sequenziale
sequenziale [agg. Der. di sequenza] [LSF] In varie tecniche, che si riferisce a una sequenza di operazioni, manuale o automatica. ◆ [ELT] [INF] Accesso s.: nella tecnica dei calcolatori elettronici, [...] elettronico). ◆ [FTC] [ELT] [EMG] Commutatore, o relè, s.: quello che esegue, di solito automaticamente, una sequenza di commutazione, detto anche, in vari apparecchi, programmatore. ◆ [INF] Macchina s. e non s.: v. automi, teoriadegli: I 330 f. ...
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...