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
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoriadegliautomi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] seconda 1. Il problema del calcolo della star-height di un linguaggio razionale è stato sollevato fin dagli albori della teoriadegliautomi e risolto, in linea di principio, da Kosaburo Hashiguchi (1987), il quale ha dimostrato che la star-height è ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] bi, i≥1}. Tra i linguaggi liberi si trovano i principali linguaggi di programmazione, per cui la teoriadegliautomi a pila riveste importanza fondamentale nella interpretazione di programmi.
Riportiamo ora alcune delle numerosissime proprietà di cui ...
Leggi Tutto
CAIANIELLO, Eduardo Renato
Settimo Termini
– Nacque a Napoli 25 giugno 1921, da Giuseppe e Lidia Sammartino.
GLI ANNI FORMATIVI (IN GUERRA E NEGLI STATI UNITI)
Dopo aver frequentato il liceo classico [...] in evidenza collegamenti interdisciplinari insoliti per l’epoca e mostratisi cruciali successivamente. Basti ricordare quella sulla teoriadegliautomi del 1964 (Automata Theory, a cura di E.R. Caianiello, New York-London 1964) e quella sulle reti ...
Leggi Tutto
(propr. János Lajos) Matematico, logico e fisico austro-ungarico, naturalizzato statunitense (Budapest 1903 - Washington 1957). Figura eminente della ricerca scientifica nella prima metà del Novecento, [...] fondatore (scrissero in collab. Theory of games and economic behavior (1944, 3a. ed. ampl. 1953), e alla teoriadegliautomi, fondata sull’analisi del problema dell’«autoriproduzione» delle macchine e sull’analogia tra calcolatori elettronici e reti ...
Leggi Tutto
L’insieme delle applicazioni della matematica allo studio dei processi biologici. L’approccio fenomenologico consiste o nella semplice applicazione di metodi matematici per riprodurre l’andamento dei dati [...] 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
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] eccitatorie era invece attivo. Questo modello sarà usato come base da Stephen C. Kleene per la sua teoriadegliautomi finiti.
Stabilità dell'eliminazione gaussiana. L'americano Harold Hotelling presenta la prima analisi diretta dell'errore per ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] reali calcolatori, esso è tuttora utilizzato per la sua grande semplicità sia nella teoriadegliautomi e dei linguaggi formali sia nella teoria della complessità di calcolo. Per caratterizzare la complessità di un problema è importante individuare ...
Leggi Tutto
Discreto e continuo
Paolo Zellini
Matematica e intuizione
La matematica ha sempre cercato di stabilire un nesso tra il continuo e il discreto, il primo esemplificato, tipicamente, nelle figure dello [...] , e tra i creatori del moderno calcolo digitale. Von Neumann auspicava, infatti, fin dal 1951 che la teoriadegliautomi, pur prospettandosi come un capitolo della logica formale, potesse acquisire, con il tempo, nuove connotazioni che la rendessero ...
Leggi Tutto
Informazione e computazione quantistica: teoria
Mario Rasetti
Al crocevia tra scienza e tecnologia
La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] tale filo dev’essere rimpiazzato da un complesso dispositivo che realizzi il teletrasporto dello stato.
L’automa quantistico
La teoriadegliautomi e dei linguaggi formali si occupa della descrizione delle proprietà di sequenze di simboli. Attivare ...
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...