Turing, macchina di

Enciclopedia della Matematica (2013)

Turing, macchina di Turing, macchina di automa universale, elaborato dal logico inglese A.M. Turing, che fornisce una traduzione formale del concetto intuitivo di → calcolabilità. Sebbene introdotta [...] (indecidibilità della fermata di una macchina di Turing). Come ogni automa, la macchina di Turing può essere utilizzata come riconoscitore di un linguaggio, stabilendo che una stringa scritta sul nastro di una macchina di Turing M appartiene al ... Leggi Tutto

TAGS: FUNZIONI CALCOLABILI – LINGUAGGIO REGOLARE – MACCHINA DI TURING – FUNZIONI RICORSIVE – LETTURA/SCRITTURA

Turing, problema della fermata di una macchina di

Enciclopedia della Matematica (2013)

Turing, problema della fermata di una macchina di Turing, problema della fermata di una macchina di → Turing, macchina di. ... Leggi Tutto

TAGS: MACCHINA DI → TURING

Turing, configurazione di una macchina di

Enciclopedia della Matematica (2013)

Turing, configurazione di una macchina di Turing, configurazione di una macchina di → Turing, macchina di. ... Leggi Tutto

Turing, macchina universale di

Enciclopedia della Matematica (2013)

Turing, macchina universale di Turing, macchina universale di → Turing, macchina di. ... Leggi Tutto

Turing, Alan Mathison

Enciclopedia on line

Matematico e logico matematico britannico (Londra 1912 - Manchester 1954). Pioniere della scienza dell'informazione e dell'intelligenza artificiale, ha legato il suo nome, in particolare, a un metodo da [...] a n argomenti numerici sarà detta T. computabile esattamente quando esiste una macchina di T. capace di fornire il valore della funzione in corrispondenza di una determinata n-pla di numeri. Il nome di T. è legato anche ad altri importanti risultati ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: SCIENZA DELL'INFORMAZIONE – INTELLIGENZA ARTIFICIALE – SECONDA GUERRA MONDIALE – LOGICA MATEMATICA – MATEMATICA

informatica

Enciclopedia on line

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 macchina di Turing. Elaborazione delle informazioni È caratterizzata da tre ... Leggi Tutto

CATEGORIA: ELABORATORI – INTERNET

TAGS: MUSICAL INSTRUMENT DIGITAL INTERFACE – CODICE DI PROCEDURA PENALE ITALIANO – LINGUAGGI DI PROGRAMMAZIONE – STATISTICA MULTIVARIATA – SECONDA GUERRA MONDIALE

complessità

Enciclopedia on line

complessità Caratteristica di un sistema (perciò detto complesso), concepito come un aggregato organico e strutturato di parti tra loro interagenti, in base alla quale il comportamento globale del sistema [...] rispetto alle dimensioni L del problema. Un problema è detto NP (che appartiene alla classe NP) se una macchina di Turing non deterministica è in grado di risolverlo in tempo polinomiale. Dati ora due problemi R e Q si dice che «R si riduce a Q ... Leggi Tutto

CATEGORIA: ANTROPOLOGIA FISICA – TEMI GENERALI – FISICA MATEMATICA – LOGICA MATEMATICA

TAGS: SENSIBILITÀ ALLE CONDIZIONI INIZIALI – EQUILIBRIO TERMODINAMICO – STRATIFICAZIONE SOCIALE – TEORIA DELLE CATASTROFI – FUNZIONE ESPONENZIALE

calcolatore

Enciclopedia on line

(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 macchina di Turing e il sistema di Post. I prototipi I c. progettati e prodotti tra il 1936 e il 1950 erano essenzialmente prototipi, costruiti ... Leggi Tutto

CATEGORIA: ELABORATORI

TAGS: TEORIA DELLA COMPUTABILITÀ – UNITÀ ARITMETICA E LOGICA – ELABORATORE ELETTRONICO – SECONDA GUERRA MONDIALE – SCIENZA DEI CALCOLATORI

algoritmo

Enciclopedia on line

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 macchine di Turing che calcolano una qualsiasi funzione ricorsiva, dei sistemi di Post che eseguono il calcolo di una qualsiasi macchina di Turing ecc. Questo è una conferma empirica della ... Leggi Tutto

CATEGORIA: ALGEBRA – PROGRAMMAZIONE E PROGRAMMI

TAGS: MACCHINA DI TURING – FUNZIONE RICORSIVA – DETERMINISMO – INFORMATICA – MATEMATICA

CERVELLO E COMPUTER

Enciclopedia Italiana - IX Appendice (2015)

– Protagonisti a confronto. Complessità strutturale. Ricevere e distinguere le informazioni. Plasticità e memoria. Funzionamento. Conclusioni Le conoscenze sempre più approfondite sul funzionamento del [...] , come Alan Turing (1936, macchina di Turing), Alonzo Church (1936, che propose idee simili a quelle di Turing) e John consuma dieci volte più energia degli altri organi del corpo a parità di peso, ma è un consumo irrisorio (equivalente a 20-50 W), ... Leggi Tutto

TAGS: SISTEMA NERVOSO PERIFERICO – INTELLIGENZA ARTIFICIALE – TEORIA DELLA COMPLESSITÀ – RIFLESSO CONDIZIONATO – POTENZIALE D’AZIONE