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 [...] dell'elaboratore viene seminato all'inizio con un singolo organismo digitale, detto progenitore. Si tratta di un programma in linguaggiomacchina di una ottantina di byte. Esso prima di tutto esamina se stesso per determinare la sua dimensione e la ...
Leggi Tutto
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. [...] effettua con metodi che implementano una forma di automa a pila. La traduzione dal linguaggio sorgente al linguaggio oggetto (un qualche tipo di linguaggiomacchina di basso livello) costituisce la terza parte, che implementa l'attraversamento di un ...
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 [...] e si effettua con metodi che implementano una forma di automa a pila. La traduzione dal linguaggio sorgente al linguaggio oggetto (linguaggiomacchina di basso livello) costituisce la terza parte, che implementa l'attraversamento di un albero che può ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] implicito nel dato modello in una serie di istruzioni eseguibili direttamente dal computer (il cosiddetto linguaggiomacchina). In termini moderni, tale dimostrazione consiste nella costruzione di un cosiddetto compilatore. Essa fu effettuata ...
Leggi Tutto
grammatica
grammatica in informatica teorica, termine che designa una struttura formale per un linguaggio L in grado di generare tutte e sole le stringhe del linguaggio. Per questo si parla di grammatica [...] sintattici) e se l’istruzione è corretta provvede alla sua traduzione in linguaggiomacchina.
Per fare ciò deve avere una completa descrizione della grammatica del linguaggio utilizzato e applica le sue produzioni per vedere se la stringa immessa è ...
Leggi Tutto
programmazione
programmazióne [Der. di programmare "preparare un programma"] [LSF] (a) La formulazione di un programma. (b) Con signif. particolare nelle locuz. p. lineare e non lineare (v. oltre). ◆ [...] di programmazione: III 427 d); (f) p. simbolica, fatta in un linguaggio di p. che il calcolatore deve poi tradurre nel suo linguaggio (linguaggiomacchina) mediante un apposito programma (traduttore). ◆ [ANM] P. dinamica: metodo di soluzione ...
Leggi Tutto
Biologia
In biologia molecolare, la produzione, mediata dai ribosomi, di un polipeptide la cui sequenza di amminoacidi è derivata dalla sequenza di codoni di una molecola di RNAm (➔ proteine).
Informatica
Conversione [...] di programmazione di tipo diverso, per es. da linguaggio assemblativo a linguaggiomacchina, eseguita da un programma di servizio facente parte del sistema operativo di un calcolatore. Di solito si riserva la denominazione di traduttori ai programmi ...
Leggi Tutto
Informatica
Processo inverso
(reverse engineering) L’attività di analisi di un prodotto (hardware e/o software) e, più in generale, di un dispositivo, ottenuto mediante ingegnerizzazione, al fine di individuarne [...] funzionamento interno e ricostruirne il progetto che ne era alla base. Per es., il reverse engineering del codice in linguaggiomacchina di un programma permette di riottenere un codice sorgente corrispondente a esso (cioè un codice sorgente che, se ...
Leggi Tutto
In informatica, abbreviazione di macroistruzione: è un’istruzione in un linguaggio sorgente che nella fase di traduzione in linguaggiomacchina viene sostituita da una predefinita successione di istruzioni, [...] operazioni o caratteri ...
Leggi Tutto
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 [...] .
Un'importante classe di astrazioni fornita da un lvn riguarda i dati e la loro manipolazione. Tipicamente, in linguaggiomacchina, i dati sono accessibili in base all'indirizzo delle celle di memoria che li contengono e il contenuto di tali ...
Leggi Tutto
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...
linguaggio
linguàggio s. m. [der. di lingua]. – 1. Nell’uso ant. o letter., e talora anche nell’uso com. odierno, lo stesso che lingua, come strumento di comunicazione usato dai membri di una stessa comunità: parlare con proprietà di l.; Questi...