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 [...] ogni passo e il numero dei passi è limitato da un polinomio. Un linguaggio L è in IP (interattivo polinomiale) se esiste una macchina di Turing probabilistica V (il verificatore) che lavora in tempo polinomiale e tale che x∈L se e solo se esiste una ...
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 [...] bisogna considerare che gli impedimenti, più ancora che legati allo sviluppo tecnico, sono di natura teorica. Costruire una macchina capace di tradurre a un livello accettabile presuppone innanzitutto una teoria del linguaggio e della t. interamente ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica (1945-1960). L'elettronica e il calcolo
Jon Agar
L'elettronica e il calcolo
Negli anni 1945-1946 fu resa pubblica la definizione di 'calcolatore [...] di ferrite. Il nuovo calcolatore era disponibile con un gran numero di periferiche, quali i lettori di schede e le macchine perforatrici per l'acquisizione dei dati, le unità a nastri magnetici per una memoria versatile e stampanti veloci; esso aveva ...
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 [...] interno e ricostruirne il progetto che ne era alla base. Per es., il reverse engineering del codice in linguaggio macchina di un programma permette di riottenere un codice sorgente corrispondente a esso (cioè un codice sorgente che, se compilato ...
Leggi Tutto
codice
còdice [Der. del lat. codex -icis, originar. parte interna del fusto degli alberi, poi tavoletta su cui scrivere e infine, per estensione, libro manoscritto in fogli, in contrapp. al libro in [...] comunicazione, per es., in un sistema di telegrafia (c. Morse, c. Baudot, ecc.) e nei calcolatori elettronici (c. di macchina: v. oltre) oppure nell'ambito di una determinata disciplina, allo scopo di ridurre la durata dei messaggi, senza perdita di ...
Leggi Tutto
assemblaggio
assemblàggio [Der. del fr. assemblage, der. di assembler "mettere insieme"] [LSF] Complesso di operazioni per mettere insieme le varie parti, precostituite, di un apparecchio, di un dispositivo [...] con il verbo assiemare). ◆ [ELT] [INF] Nella tecnica dei calcolatori elettronici, operazione di traduzione automatica in linguaggio macchina di un programma scritto in linguaggio simbolico; provvede a ciò un apposito programma memorizzato, detto, con ...
Leggi Tutto
identificatore
identificatóre [agg. (f. -trice) e s.m. Der. di identificazione] [LSF] Di procedimento o, concret., dispositivo per effettuare un'identificazione. ◆ [ELT] [INF] Simb. alfanumerico con [...] di un programma per un calcolatore elettronico; completata che sia la traduzione dal linguaggio di programmazione al linguaggio di macchina, il traduttore stesso provvede in genere a stampare una tabella contenente tutti gli i. usati nel programma e ...
Leggi Tutto
parser
parser 〈pàazë〉 [s.ingl. Der. di (to) parse "analizzare grammaticalmente", usato in it. come s.m.] [ELT] [INF] Algoritmo di un programma applicativo che, sulla base della grammatica e del lessico [...] un'analisi automatica della struttura morfologica delle parole, per permetterne, per es., il richiamo dal dizionario di macchina; algoritmi di questo genere, ma di struttura più complessa, trovano un'applicazione anche nella linguistica in quanto ...
Leggi Tutto
Progettazione
Livio Sacchi e Roberto de Rubertis
Parte introduttiva
di Livio Sacchi
Si intende per progettazione l'ideazione di qualcosa e lo studio delle effettive possibilità e modalità di realizzazione [...] più si delinea una nuova forma di autonomia del progettista, cui è offerta un'amplissima possibilità di dialogo con la macchina e, tramite la macchina, con se stesso, con altri operatori e con l'insieme delle conoscenze e dei processi utili per la ...
Leggi Tutto
perforatore
perforatóre [agg. (f. -trice) e s. Der. del lat. perforator -oris, da perforare "forare da parte a parte, forare profondamente", comp. di per- e forare] [LSF] Nome generico di dispositivi [...] che servono in certi metodi di prospezione geofisica del sottosuolo. ◆ [ELT][INF] Macchina p. (o, assolut., perforatrice s.f.): nei sistemi meccanografici, macchina, a funzionamento automatico oppure, più spesso, manuale a tastiera, per praticare le ...
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...
macchinare
v. tr. [dal lat. machinari, der. di machĭna nel senso di «macchinazione, inganno»; nel sign. 2, der. di macchina] (io màcchino, ecc.). – 1. Ordire, preparare, tramare, a danno di altri: m. insidie; m. la morte, la rovina di qualcuno;...