Dispositivo hardware o programma software dedicato al processamento ulteriore di dati calcolati da un altro dispositivo, come, per es., un processore. Per es., un sistema CAM potrebbe generare un progetto [...] di alto livello, indipendente dalla specifica macchina che sarà utilizzata per la realizzazione del pezzo, che rende necessario l’uso di un p. per la traduzione del progetto stesso nello specifico linguaggio della macchina designata alla produzione. ...
Leggi Tutto
Tecnologie della stampa
Stefano Marchesi
Il procedimento xilografico per la riproduzione di scritti e disegni è documentato in Cina fin dal IX sec. d.C. Matrici di legno intagliate a rilievo e cosparse [...] di trasferimento; (c) gli organi di uscita destinati a comporre la pila dei fogli stampati.
Data la velocità di stampa, le macchine moderne hanno in dotazione un forno asciugatore a calore e un gruppo verniciatore che ha lo scopo di proteggere lo ...
Leggi Tutto
(o computer, o elaboratore elettronico) Apparecchio o dispositivo utilizzato per l’elaborazione di dati e segnali.
Cenni storici
Le origini
Il desiderio di realizzare uno strumento in grado di compiere [...] studi di A. Turing e E.L. Post, i quali in modo indipendente introdussero nel 1936 due modelli concettuali di elaborazione: la macchina di Turing e il sistema di Post.
I prototipi
I c. progettati e prodotti tra il 1936 e il 1950 erano essenzialmente ...
Leggi Tutto
dedicato
dedicato [agg. Der. del part. pass. dedicatus "adibito a un compito specificato" del lat. dedicare, comp. di de- e dicare, intensivo di dicere "dire"] [ELT] [INF] Nel gergo informatico, detto [...] di dispositivo, software, macchina o sistema realizzati o messi in opera per una specifica categoria di utenti o per uno scopo ben determinato e solo per quello; in partic., sistema d.: v. sistemi operativi: V 306 b. ...
Leggi Tutto
Reduced Instruction Set Calculator
Reduced Instruction Set Calculator (RISC) 〈ridiùsid instràksŠon sèt kalkiulètor〉 [ELT] [INF] Denomin. ingl. "calcolatore con insieme ridotto di istruzioni" di un tipo [...] di calcolatore elettronico ispirato a criteri di economia nel linguaggio macchina: v. calcolatori, architettura dei: I 396 f. ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La cibernetica
Roberto Cordeschi
Teresa Numerico
Le origini
Il termine cibernetica fu coniato dal matematico Norbert Wiener (1894-1964), che nel 1948 pubblicò negli Stati Uniti un libro destinato ad [...] un attenuatore fosse più alta o più bassa di una soglia stabilita, la fotocellula «sparava» un sì o un no nel «cervello» della macchina PAPA. Tale cervello era costituito da una memoria che immagazzinava le serie di sì e no di ogni A-unit per ogni ...
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. [...] memoria infinita (in realtà è sufficiente una parola su un alfabeto fissato, detto 'nastro') sulla quale si può leggere e scrivere. La macchina ha inoltre un insieme finito di stati, e si dice che riconosce la parola w data come input se si ferma in ...
Leggi Tutto
bioinformatica
bioinformàtica [Comp. di bio- e informatica] [BFS] [ELT] [INF] Branca della bioingegneria che studia l'applicazione dei calcolatori a sistemi nei quali la presenza di elementi viventi [...] è determinante ai fini del funzionamento (in generale, il sistema uomo-macchina, più in partic. i sistemi pilota-aereo, malato-apparato di terapia, ecc.), in quanto possono richiedere, per la loro complessità, l'utilizzazione di un calcolatore ...
Leggi Tutto
Böhm, Corrado. – Matematico e informatico italiano (Milano 1923 - Roma 2017). Laureatosi nel 1946 in ingegneria elettronica presso il Politecnico di Losanna, ha conseguito il dottorato in matematica al [...] Politecnico di Zurigo nel 1951. Dalle sue ricerche sui linguaggi per la programmazione sulla macchina di Turing è nato, in collaborazione con G. Jacopini, il teorema di Böhm-Jacopini (1966). Tra i suoi contributi più importanti vi è il cosiddetto ...
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 [...] 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
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;...