Curiosità e significato della soluzione Macchina Di Turing

Scopri il significato e tutto quello che c'è da sapere sulla soluzione di 16 lettere che serve per completare i tuoi cruciverba. La soluzione Macchina Di Turing è utile per risolvere le definizioni enigmistiche:

  1. Si usa in logica per definire il concetto di computabilità

In informatica, una macchina di Turing (o più brevemente MdT, in inglese TM, da Turing machine) è un modello matematico computazionale che descrive una macchina astratta che manipola (legge e scrive) i dati contenuti su un nastro di lunghezza potenzialmente infinita, secondo un insieme prefissato di regole ben definite. A dispetto della sua apparente semplicità, questo modello è in grado di simulare la logica di qualunque algoritmo eseguibile su un computer reale.

Introdotta nel 1936 da Alan Turing come modello di calcolo per dare risposta all'Entscheidungsproblem (problema di decisione) proposto da Hilbert nel suo programma di fondazione formalista della matematica, è un potente strumento teorico che viene largamente usato nella teoria della calcolabilità e nello studio della complessità degli algoritmi, in quanto è di notevole aiuto agli studiosi nel comprendere i limiti del calcolo meccanico; la sua importanza è tale che oggi, per definire in modo formalmente preciso la nozione di algoritmo, si tende a ricondurlo alle elaborazioni effettuabili con macchine di Turing.

Italiano

Locuzione nominale

macchina di Turing ( approfondimento) f

  1. (elettronica) (informatica) macchina formale ideale in grado di eseguire ogni elaborazione in forma di procedura di calcolo

Etimologia / Derivazione

da Alan Turing

Iperonimi

  • macchina formale

Traduzione

  • Tullio De Mauro, Il nuovo De Mauro edizione online su internazionale.it, Internazionale
  • [1]

Altri progetti

  • Wikipedia contiene una voce riguardante macchina di Turing