Sommario:
Definizione - Cosa significa Turing Machine?
Una macchina Turing è una macchina teorica che manipola i simboli su una striscia di nastro, sulla base di una tabella di regole. Anche se la macchina Turing è semplice, può essere personalizzata per replicare la logica associata a qualsiasi algoritmo informatico. È anche particolarmente utile per descrivere le funzioni della CPU all'interno di un computer.
Alan Turing inventò la macchina Turing nel 1936 e la definì una "macchina automatica" o automatica.
Techopedia spiega Turing Machine
La macchina di Turing non intende essere una tecnologia di elaborazione funzionale; invece, è inteso come una macchina ipotetica che rappresenta una macchina informatica. La macchina di Turing può aiutare gli scienziati informatici a comprendere i confini del calcolo meccanico.
Le macchine di Turing modellano matematicamente un dispositivo che gira meccanicamente usando un nastro. Questo nastro include simboli che la macchina può scrivere e leggere, uno dopo l'altro, con l'aiuto di una testina.
Più specificamente, una macchina di Turing include quanto segue:
- Nastro: un nastro che è diviso in celle, una accanto all'altra. Ogni cella include un simbolo di un certo alfabeto finito. L'alfabeto include un unico simbolo in bianco e uno o più altri simboli. Il volume di nastro richiesto per il calcolo è sempre incluso nella macchina di Turing.
- Head: una testina in grado di scrivere e leggere simboli sul nastro. In alcuni modelli, la testa si muove mentre il nastro è fisso.
- Registro di stato: un registro di stato per memorizzare lo stato della macchina Turing. C'è uno stato iniziale speciale attraverso il quale viene inizializzato il registro di stato.
- Tabella finita: una tabella finita (a volte indicata come una funzione di transizione o una tabella di azioni) di istruzioni, che sono generalmente quintuple, ma occasionalmente quadruple.