Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] altresì stimolato lo sviluppo di nuovi campi come la teoriadegliautomi, l’analisi degli algoritmi e la teoria dell’ottimizzazione, rivalutandone altri come l’analisi combinatoria e la teoria dei grafi. In particolare, l’analisi numerica (➔ numerico ...
Leggi Tutto
Insieme di linee, reali o ideali, che si intrecciano formando incroci e nodi e dando luogo a una struttura complessa. Più in particolare, infrastruttura tecnica per la distribuzione di un segnale (tipicamente [...] a vari criteri, le scelte più convenienti e il guadagno atteso.
Le r. di Petri, proposte in base alla teoriadegliautomi a stati finiti e, per es., usate per analisi e simulazione di sistemi di elaborazione e di produzione manifatturiera, riguardano ...
Leggi Tutto
Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] proposito vanno ricordati i nomi di J. von Neumann, H. von Foerster, H. Atlan e I. Prigogine. Nella sua teoriadegliautomi auto-organizzatori von Neumann si è posto il problema della differenza tra macchine artificiali e 'macchine viventi'. Egli ha ...
Leggi Tutto
Il concetto di calcolo costituisce uno dei più importanti fondamenti teorici delle discipline informatiche. Così come nelle discipline meccaniche non si possono comprendere le caratteristiche dei motori [...] un impiegato di banca, mentre successivamente W.S. McCullock, W. Pitts e S.C. Kleene gettarono le fondamenta della teoriadegliautomi a stati finiti tentando di modellare il comportamento dei neuroni e delle reti neuronali. Anche se risalgono agli ...
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
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
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
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...