Turing, macchinadi automa universale, elaborato dal logico inglese A.M. Turing, che fornisce una traduzione formale del concetto intuitivo di → calcolabilità. Sebbene [...] se qj = q0 mentre si dice finale se qj = qƒ. Una transizione elementare di una macchinadiTuring è una funzione C → C dove C è l’insieme delle sue possibili configurazioni e ... ...
Leggi Tutto
Turing ‹ti̯ùriṅ›, Alan Mathison. - Matematico e logico matematico britannico ( [...] Manchester. Dalle sue ricerche svolte prima della seconda guerra mondiale derivò l'elaborazione della macchinadi T. Questa è costituita da un nastro diviso in campi, il quale può ... ...
Leggi Tutto
informatica Scienza che studia l’elaborazione delle informazioni e le sue applicazioni; più precisamente l’i. si occupa della rappresentazione, dell’organizzazione [...] , che possiamo datare al 1936, allorché A.M. Turing presentò un modello di calcolo, oggi noto come macchinadiTuring. 1. Elaborazione delle informazioni È caratterizzata da tre ...
Leggi Tutto
CIBERNETICA (App. III, 1, p. 368). - Rispetto a tutto ciò che la c. prometteva negli anni Quaranta e Cinquanta, gli sviluppi realizzati in seguito da questa nuova [...] modelli di Grey Walter, la macchinadi P. Nayrac, il modello di C. E. Shannon, quelli di A. M. Uttley, di B. L. M. Chapman, di F. H. George, di P. M. Milner, di P. Rosenblatt, di R ...
Leggi Tutto
di Gerard Radnitzky Metodo sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari [...] ad esempio dalla teoria matematica (dal teorema di Gödel) consegue che la costruzione di una macchinadiTuring capace di calcolare qualsiasi funzione è logicamente impossibile. Da ... ...
Leggi Tutto
Penrose, Sir Roger. - Matematico e fisico britannico (n. Colchester 1931). P. ha dato importanti contributi nella teoria della relatività [...] una teoria basata su un'analogia tra le attività della mente e una macchinadiTuring, accomunate dalla capacità di operare per algoritmi. Ha inoltre proposto e studiato la nozione ...
Leggi Tutto
Böhm, Corrado. – Matematico e informatico italiano (Milano 1923 - Roma 2017). Laureatosi nel 1946 in ingegneria elettronica [...] sue ricerche sui linguaggi per la programmazione sulla macchinadiTuring è nato, in collaborazione con G. Jacopini, il teorema di Böhm-Jacopini (1966). Tra i suoi contributi più ...
Leggi Tutto
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 che il moto...