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
Matematica
Termine, derivato dall’appellativo al-Khuwārizmī («originario della Corasmia») del matematico Muḥammad ibn Mūsa del 9° sec., che designa qualunque schema o procedimento sistematico di calcolo [...] state dimostrate equivalenti. È possibile costruire delle macchinediTuring che calcolano una qualsiasi funzione ricorsiva, dei sistemi di Post che eseguono il calcolo di una qualsiasi macchinadiTuring ecc. Questo è una conferma empirica della ...
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
Rispetto a tutto ciò che la c. prometteva negli anni Quaranta e Cinquanta, gli sviluppi realizzati in seguito da questa nuova scienza risultano in parte superiori e in parte inferiori all'aspettativa.
I [...] A. M. Turing e J. von Neumann avrebbero dovuto condurre a una comprensione così profonda del funzionamento della nostra corteccia cerebrale da permettere la rapida realizzazione, tra l'altro, dimacchine per tradurre intelligentemente qualunque testo ...
Leggi Tutto
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] tale algoritmo con quei dati come input: per esempio una macchinadiTuring capace di leggere e interpretare nella esecuzione le regole con cui era descritta una qualsiasi macchinadiTuring specifica e applicarle ai dati.
Così prendeva corpo l’idea ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] definiti da automi finiti sono detti regolari e formano una sottoclasse propria dei linguaggi riconoscibili da una macchinadiTuring.
Nasce l'algebra omologica. H. Cartan e S. Eilenberg pubblicano il trattato Homological algebra (completato fin dal ...
Leggi Tutto
Considerazioni metodologiche sullo studio delle funzioni cerebrali
Frank van der Velde
(Unit of Experimental and Theoretical Psychology, Leiden Universiteit, Leida, Paesi Bassi)
L'integrazione tra neuroscienze [...] ha abbandonato gli ASF e le associazioni S-R come modelli adeguati per descrivere il comportamento, e usa invece a questo scopo macchine come la macchinadiTuring. La macchinadiTuring è in effetti un automa a stati finiti connesso a una memoria ...
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
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. [...] -free: nel primo caso avevamo automi finiti ed espressioni razionali, nel secondo automi a pila e grammatiche.
MacchinediTuring
Una macchinadiTuring opera con una memoria infinita (in realtà è sufficiente una parola su un alfabeto fissato, detto ...
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 [...] : nel primo caso avevamo automi finiti ed espressioni razionali, nel secondo automi a pila e grammatiche.
MacchinediTuring
Una macchinadiTuring opera mediante una memoria infinita (in realtà è sufficiente una parola su un alfabeto fissato, detto ...
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...