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
giòchi, teorìa dei Modello matematico per lo studio delle 'situazioni competitive', in cui cioè sono presenti più persone (o gruppi di persone, o organizzazioni) dette appunto 'giocatori', con autonoma [...] della teoria dei giochi è che ogni giocatore conosce non solo le regole del gioco, ma anche le utilità degli altri possibile per un giocatore solo una strategia programmabile da un automa di grandezza prefissata in maniera esogena. E ancora una ...
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...