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
Ulam
Ulam Stanisław Marcin (Lwów, Polonia, oggi L’viv 1909 - Santa Fe, New Mexico, 1984) fisico e matematico statunitense di origine polacca. Partecipò al cosiddetto progetto Manhattan che portò alla [...] prima bomba atomica. Fu tra gli ideatori degliautomi cellulari (→ Neumann (von), automa di), intesi come sistemi di celle su una con le celle vicine (→ automa). In ambito più classicamente matematico, si interessò di teoria dei numeri, di topologia ...
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
concatenazione
concatenazióne [s.f. Der. del lat. concatenatio -onis, da catena, "atto ed effetto del concatenare o del concatenarsi"] [BFS] Nella genetica, termine usato talora come equivalente ad associazione [...] genica, per traduz. dell'ingl. linkage. ◆ [INF] C. di linguaggi: v. automi, teoriadegli: I 331 f. ...
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
context-free
context-free 〈kòntekst-frìi〉, context-sensitive 〈kòntekst-sènsitiv〉 [INF] Qualifica ingl., rispettiv., dei linguaggi contestuali e acontestuali: v. automi, teoriadegli: I 331 e. ...
Leggi Tutto
accettabile
accettàbile [agg. Der. del lat. acceptabilis "che può essere accettato", da acceptare "accettare"] [INF] Sottoinsieme a.: v. automi, teoriadegli: I 331 b. ...
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...