MacchinadiTuring
Mauro Cappelli
Modello di agente di calcolo adatto a simulare la logica di qualsiasi algoritmo computazionale. La macchina formale fu proposta nel 1936 dal logico e matematico britannico [...] nei due versi e risulta diviso in celle, ciascuna contenente un simbolo appartenente a un insieme finito di simboli detto alfabeto.
Ogni ;macchinadiTuring deve possedere un alfabeto che contenga il simbolo speciale b (blank, spazio), i simboli 0 e ...
Leggi Tutto
Reti neurali
100.000.000.000 neuroni, 700.000.000.000.000 sinapsi per costruire un pensiero
Modelli interpretativi dei circuiti neuronali
diPaolo Del Giudice
13 luglio
Al Dartmouth College, nel New Hampshire, [...] del cervello: è successo con la cibernetica e la teoria dell’informazione, la teoria formale del calcolo (macchinediTuring e logica degli automi), l’informatica, l’intelligenza artificiale, la linguistica computazionale, la ricerca operativa, la ...
Leggi Tutto
transputer
Lorenzo Seno
Particolare tipo di microprocessore. I calcolatori elettronici, implementazioni materiali e finite delle macchinediTuring, nascono come macchinedi calcolo sequenziali, nelle [...] quale un esempio è rappresentato dai CUBE computer, con topologia ipercubica), vede decine, centinaia o migliaia di CPU cooperare alla soluzione di un problema complesso segmentato in molti compiti più semplici. Lo sviluppo del software (e della rete ...
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 [...] E.L. Post, i quali in modo indipendente introdussero nel 1936 due modelli concettuali di elaborazione: la macchinadiTuring e il sistema di Post.
I prototipi
I c. progettati e prodotti tra il 1936 e il 1950 erano essenzialmente prototipi, costruiti ...
Leggi Tutto
Scienza che studia l’elaborazione delle informazioni e le sue applicazioni; più precisamente l’i. si occupa della rappresentazione, dell’organizzazione e del trattamento automatico della informazione. [...] elaborazione e della formalizzazione del concetto di procedura di calcolo, che possiamo datare al 1936, allorché A.M. Turing presentò un modello di calcolo, oggi noto come macchinadiTuring.
Elaborazione delle informazioni
È caratterizzata da tre ...
Leggi Tutto
Computer. Hardware
Gianfranco Bilardi
Raffaele Tripiccione
Obiettivo dei sistemi informatici è la soluzione automatica di problemi computazionali. Un problema computazionale è un insieme di domande [...] e della diffusione dei calcolatori nella società odierna.
Nella macchina universale diTuring, l’informazione – sia quella relativa all’algoritmo da eseguire, sia quella relativa ai dati di ingresso – è codificata in forma digitale, ovvero mediante ...
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 [...] in una macchina commerciale denominata Ferranti Mark I. Installata alla Manchester University, essa fu utilizzata per ricerche matematiche e scientifiche da un gruppo di lavoro di cui faceva parte Alan M. Turing (1912-1954), il quale ne redasse ...
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...