La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] in uno stato finale. È importante osservare che può anche non fermarsi mai (come ben sanno i programmatori: ogni programmatore ha scritto un programma che entra in un loop).
Un linguaggio L si dice 'ricorsivamente enumerabile' se è riconosciuto da ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] . Più recentemente è stata introdotta una variante di questa logica, la logica temporale, che è applicata alla verifica dei programmi.
Parole infinite e alberi
Il lavoro di Büchi ha dato luogo a una teoria dei linguaggi, detti talvolta ω-linguaggi ...
Leggi Tutto
Informatica
Piccolo calcolatore programmato per consentire comunicazioni multiple su una singola linea di trasmissione dei dati. Il suo impiego consente di sfruttare al massimo le capacità potenziali di [...] della linea a un livello inferiore (per es. in termini di flusso) a quello massimo teorico. Inoltre, le caratteristiche di programmazione di un c. danno la possibilità di eseguire localmente tutta una serie di piccoli lavori in modo indipendente dal ...
Leggi Tutto
La vita artificiale
Thomas S. Ray
(ATR Human lnformation Processing, Research Laboratories Kyoto, Giappone)
La vita artificiale (VA) estende il campo di indagine della biologia, permettendo di studiare [...] così che possa sostenere anche forme più evolute di vita digitale. Nella sua forma più avanzata, gli elementi di un programma di VA sono studiati in qualità di oggetti con identità propria, non come simboli che rappresentano qualcosa di diverso. Gli ...
Leggi Tutto
Musica elettronica ed elettronica musicale
Lorenzo Seno
A partire dalla fine dell’Ottocento fino alla Seconda guerra mondiale, grazie alla diffusione dell’elettricità e dell’elettronica, fanno la loro [...] elementari in modo da costruire liberamente il proprio strumento virtuale. Il metodo si presta male al tempo reale e i programmi che lo utilizzano si limitano a un esiguo numero di parziali a causa della complessità di calcolo. Questa è proporzionale ...
Leggi Tutto
virtual machine
Mauro Cappelli
Rappresentazione di un sistema di calcolatori e delle sue risorse secondo una visione ad alto livello di astrazione che privilegia solo quegli elementi che possono essere [...] altri. L’interfaccia tra utente e macchina virtuale è fornita dal software di sistema, intendendo con tale locuzione l’insieme dei programmi che gestiscono le risorse di un calcolatore e il loro accesso. Il software di sistema nasconde all’utente le ...
Leggi Tutto
Simulazione
Luigi Accardi
Mario Lucertini
Una delle maggiori innovazioni concettuali della scienza contemporanea, che coinvolge in ugual misura tutte le discipline scientifiche, è la transizione dalla [...] a fronte dei flussi reattivi laminari e turbolenti nella combustione, la verifica di correttezza nella progettazione software, la programmazione di robot di lavorazione).
Nelle regate veliche e nelle gare automobilistiche, la s. può operare per il ...
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 [...] disposte in sequenza (come nelle tradizionali linee di montaggio) operano su flussi di prodotti anche molto eterogenei con programmi differenziati e flessibili, o le supply chains (o catene cliente-fornitore) per la gestione di attività di produzione ...
Leggi Tutto
SOFTWARE
Carlo Ghezzi
Ester Capuzzo
Ingegneria del software. - Nel contesto di questa voce, il termine software verrà usato in un'accezione ampia, che comprende sia il prodotto, cioè l'insieme dei [...] problemi. Se modificare il s. è in linea di principio facile (basta un editor per modificare il testo di un programma), non è altrettanto facile ottenere con la modifica il nuovo funzionamento richiesto. La mancanza di continuità, a cui abbiamo fatto ...
Leggi Tutto
UGC (User generated contents)
Enrico Menduni
Contenuti disponibili su Internet creati dagli utenti. Con l’avvento del digitale, la soglia tra i professionisti della comunicazione e i dilettanti, prima [...] . Sulla loro scia, sono apparsi canali televisivi che programmaticamente accolgono quote importanti di UGC sul totale della programmazione; ma soprattutto sono rilevanti i blog (diari multimediali messi in rete da un soggetto e aperti alla ...
Leggi Tutto
programmazione
programmazióne s. f. [der. di programmare]. – 1. a. L’operazione, l’attività, il risultato del programmare: la p. dello studio, della ricerca (o di una ricerca), del lavoro, della produzione; la p. delle vacanze, del tempo libero;...
programma
s. m. [dal lat. tardo programma -mătis, gr. πρόγραμμα -ματος, der. di προγράϕω, propr. «scrivere prima»] (pl. -i). – 1. Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, d’una linea di condotta da seguire,...