La grande scienza. Automi e linguaggi formali

Storia della Scienza (2003)

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. [...] subshift di tipo finito hanno uno stretto legame con i codici circolari che si studiano nella teoria dei linguaggi formali (Berstel tratta semplicemente di un grafo orientato aciclico con 2n nodi sorgente, e nel quale ciascun nodo è una funzione OR o ... Leggi Tutto

CATEGORIA: MATEMATICA APPLICATA – CIBERNETICA E INTELLIGENZA ARTIFICIALE

Automi e linguaggi formali

Enciclopedia della Scienza e della Tecnica (2007)

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 [...] subshifts di tipo finito hanno uno stretto legame con i codici circolari che si studiano nella teoria dei linguaggi formali. Automi tratta semplicemente di un grafo orientato aciclico, con 2n nodi sorgente, nel quale ciascun nodo è una funzione OR o ... Leggi Tutto

CATEGORIA: TEMI GENERALI

TAGS: LINGUAGGIO LIBERO DAL CONTESTO – SISTEMI DI EQUAZIONI LINEARI – LINGUAGGIO DI PROGRAMMAZIONE – RICORSIVAMENTE ENUMERABILE – RELAZIONE DI EQUIVALENZA

protezione

Enciclopedia on line

Botanica Tessuti di p. Il tessuto epidermico e il sugheroso, perché proteggono i tessuti interni da possibili offese dell’ambiente esterno, sia fisico sia biologico. Diritto P. diplomatica Istituto di [...] vari livelli: simbolico, compilato, eseguibile. La protezione del codice simbolico viene di solito effettuata fisicamente: i supporti di ausiliario, collegamento elettrolitico fra i due elettrodi, sorgente di corrente continua; questa è di tipo ... Leggi Tutto

CATEGORIA: ANATOMIA MORFOLOGIA CITOLOGIA – DIRITTO COMUNITARIO E DIRITTO INTERNAZIONALE – ISTITUZIONI ENTI MINISTERI – LAVORAZIONE DEI METALLI – METALLURGIA E SIDERURGIA – PROGRAMMAZIONE E PROGRAMMI

TAGS: ISTITUTO DI DIRITTO INTERNAZIONALE – PUBBLICA AMMINISTRAZIONE – DIRITTO INTERNAZIONALE – RESISTENZA ELETTRICA – VOLUMI SPECIFICI

Perens, Bruce

Enciclopedia on line

Informatico statunitense (n. New York 1957). Senior system programmer dal 1987 al 1999 presso la Pixar, dove ha fornito significativi contributi nel campo degli strumenti hardware e software per l'animazione, [...] consente alle aziende di ricavare utili attraverso la vendita di servizi di manutenzione e sviluppo di software a codice di sorgente aperto. Leader del progetto Debian GNU/Linux, consulente tecnico di numerose aziende impegnate in questo settore, l ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: SOFTWARE LIBERO – BRUCE PERENS – OPEN SOURCE – GNU/LINUX – SOFTWARE

SOFTWARE

Enciclopedia Italiana - V Appendice (1995)

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 [...] dalla sua facilità di modifica, che costituisce però un'ulteriore sorgente di problemi. Se modificare il s. è in linea di 633), ha provveduto con l'art. 9 a introdurre nel codice penale l'art. 635-bis che configura una specifica fattispecie di ... Leggi Tutto

TAGS: LINGUAGGIO DI PROGRAMMAZIONE – OSSERVAZIONE SPERIMENTALE – ELABORATORE ELETTRONICO – INVENZIONI INDUSTRIALI – EVOLUZIONE DI STATO

LINGUAGGI PROGRAMMATIVI

Enciclopedia Italiana - V Appendice (1993)

LINGUAGGI PROGRAMMATIVI Carlo Ghezzi I l. p. (o linguaggi di programmazione) costituiscono il mezzo linguistico tramite cui gli elaboratori possono essere programmati. Essi costituiscono pertanto lo [...] traduttori dal linguaggio di programmazione (detto anche linguaggio sorgente) al linguaggio macchina (detto anche linguaggio oggetto). risulta espresso in modo simbolico: per es., il codice ADD potrebbe essere usato per esprimere l'operazione di ... Leggi Tutto

Navigazione

Enciclopedia Italiana - VII Appendice (2007)

Parte introduttiva di Costante De Simone Alle tradizionali forme di n. si sono aggiunte, per estensione, quella terrestre automobilistica e anche più semplicemente pedonale ed escursionistica, grazie [...] dei segnali consente di calcolare la posizione relativa tra sorgente e ricevitore. Nello spazio siderale lontano da stelle e , che è stata realizzata con l'art. 1, 3° co. del codice della nautica da diporto (d. legisl. 18 luglio 2005 nr. 171). ... Leggi Tutto

CATEGORIA: DIRITTO COMUNITARIO E DIRITTO INTERNAZIONALE – INTERNET – TRASPORTI AEREI – TRASPORTI MARITTIMI E FLUVIALI

TAGS: MODI DI ACQUISTO DELLA PROPRIETÀ – DIRITTO DELLA NAVIGAZIONE – INTELLIGENZA COLLETTIVA – TEORIA DELLA RELATIVITÀ – DIRITTO AMMINISTRATIVO

Informatica musicale

Enciclopedia Italiana - VI Appendice (2000)

Informatica musicale Alvise Vidolin Con lo sviluppo delle tecnologie multimediali la musica è diventata una delle fonti d'informazione trattate dall'informatica, al pari dei numeri, dei testi, della [...] percezione uditiva umana. La codifica simbolica trova nel codice MIDI il sistema più diffuso per rappresentare i gesti sala. Particolarmente efficaci sono le tecniche di simulazione delle sorgenti sonore in movimento, mediante le quali si possono ... Leggi Tutto

CATEGORIA: TEMI GENERALI – INFORMATICA APPLICATA

TAGS: LINGUAGGIO DI PROGRAMMAZIONE – INTELLIGENZA ARTIFICIALE – EQUAZIONI DIFFERENZIALI – TRASFORMATE DI FOURIER – ELABORATORE PERSONALE

La grande scienza: introduzione

Storia della Scienza (2003)

La grande scienza: introduzione Enrico Alleva Sergio Carrà Gilberto Corbellini Giorgio Parisi La grande scienza Le attività di ricerca scientifica abbracciano oggi un enorme numero di settori e di [...] e Francis H.C. Crick, a cui è seguita le decifrazione del codice genetico ‒ completata nel 1966 ‒ e la scoperta della regolazione dell'espressione di sincrotrone e sono di gran lunga la miglior sorgente di raggi ultravioletti e raggi X soffici; essi ... Leggi Tutto

CATEGORIA: ANTROPOLOGIA FISICA – BIOCHIMICA – BIOINGEGNERIA – STORIA DELLA BIOLOGIA – CHIMICA FISICA – STORIA DELLA CHIMICA – STORIA DELLA FISICA – STORIA DELLA MEDICINA – INFORMATICA APPLICATA – STRUMENTI E TECNOLOGIA APPLICATA

linker

Enciclopedia della Scienza e della Tecnica (2008)

linker Mauro Cappelli Software di sistema che raccoglie le procedure separatamente prodotte nella fase di traduzione di un programma scritto in un certo linguaggio di programmazione e provvede a realizzare [...] linker si colloca dopo quella di compilazione o assemblaggio delle procedure sorgente e genera come prodotto un programma detto file oggetto (in parte del software di sistema, detta libreria di codice, pronto per essere utilizzato da chiunque ne abbia ... Leggi Tutto

CATEGORIA: PROGRAMMAZIONE E PROGRAMMI

TAGS: LINGUAGGIO DI PROGRAMMAZIONE – SISTEMI OPERATIVI – SOFTWARE – WINDOWS – UNIX