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
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
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
lettera
léttera [Der. del lat. littera] [INF] Ciascuno dei segni di un alfabeto. ◆ [ALG] [ANM] Simb. di un numero indeterminato (ma talora anche determinato: per es., e=exp1) o di una funzione o di una [...] grandezza (→ anche letterale: calcolo l.). ◆ [ALG] L. funzionali, predicative, proposizionali: v. logica: III 484 c, 483 c. ◆ [INF] L. terminale: v. automi, teoriadegli: I 331 e. ...
Leggi Tutto
Post Emil Leon
Post 〈póst〉 Emil Leon [STF] (Augistow, Polonia, 1897 - New York 1954) Prof. di matematica nel City College di New York (1944). ◆ [INF] Macchina di P.: v. automi, teoriadegli: I 330 a. [...] ◆ [ALG] [FAF] Teoria di P.: nella logica matematica, riguarda i sistemi formali e gli insiemi ricorsivamente numerabili. ...
Leggi Tutto
enumerabile
enumeràbile [agg. Der. del lat. numerus "numero"] [ALG] Insieme e.: insieme per cui esiste un procedimento effettivo per stabilire una corrispondenza biunivoca tra i suoi elementi e i numeri [...] naturali. ◆ [ALG] [INF] Insieme ricorsivamente e.: v. automi, teoriadegli: I 332 c. ...
Leggi Tutto
generabile
generàbile [agg. Der. del lat. generabilis "che può essere generato"] [ALG] [INF] Sottoinsieme g.: v. automi, teoriadegli: I 331 b. ...
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...