Une machine de Turing est un concept philosophique pour savoir comment un ordinateur peut fonctionner, inventé en 1936 par Alan Turing, un célèbre mathématicien et logicien anglais du 20e siècle. Les idées derrière la machine de Turing sont la base de tous les logiciels informatiques modernes et de systèmes matériels qui existent à partir de 2011, bien que les réels concepts de Turing créé n'ont jamais été utilisées pour construire un véritable périphérique à l'époque, et ont été inventées avant les ordinateurs numériques existé dans toute forme réelle. Les principes sur lesquels une machine de Turing fonctions comprennent un ensemble de contrôles pour les données d'entrée et de sortie, la machine à traiter les données sous une forme et d'un ensemble de règles établies pour la façon dont ces données sont traitées par la machine.
Le génie derrière la découverte d'Alan Turing était que tout groupe cohérent de symboles représentant des informations utiles, comme des symboles mathématiques ou des lettres comportant une langue, pourrait être traitée mécaniquement par une machine si on leur donne un ensemble approprié de règles pour son traitement. Cela se traduirait par la création de dispositifs mécaniques qui pourraient être posées des questions logiques à des problèmes complexes et rapidement trouver des réponses biaisées. La machine de Turing a été un précurseur dans ce domaine à un algorithme informatique, qui est une liste compilée d'instructions informatiques que les unités centrales de traitement (CPU) dans les ordinateurs compter pour fonctionner à partir de 2011.
La conception de la machine de Turing était simpliste par rapport aux normes informatiques modernes du 21ème siècle, et sa fonction physique a eu difficultés pratiques de sa mise en œuvre, mais les idées sur lesquelles il a été construit a une base solide. La machine consiste en une bande ou un ruban de symboles imprimés sur elle, qui peuvent être lues par une tête lorsque la bande a été passée sur elle. Comme les symboles sont lus, ils invoquent certains états de la machine, qui dirige le mouvement de la bande et affecter les valeurs de sortie produites par la machine. L'analogue aux systèmes informatiques modernes de l'année 2011 serait celle de la bande représente le code des logiciels ou des algorithmes, le lecteur est le CPU, et la sortie serait d'affichage et de systèmes de transmission tels que les moniteurs, les imprimantes, haut-parleurs et le trafic réseau, et plus encore.
Les idées derrière la machine de Turing ont été considérés comme une fonction fondamentale d'effectuer une série de calculs et peut aussi être comparé à la façon dont le cerveau humain fonctionne. Turing lui-même et d'autres de son époque croyait que la machine de Turing pourrait être adapté pour effectuer pratiquement n'importe quel type de calcul imaginables et d'agir comme une machine universelle pour résoudre tous les problèmes humains. La question qui se pose dès le concept, cependant, est connu comme un tarpit Turing, et se réfère au fait que, bien que tout ensemble cohérent de symboles peuvent être traitées par une machine de Turing, obtenir une telle machine à produire des réponses significatives à des questions repose entièrement sur des ensembles de plus en plus complexes et à plusieurs niveaux de règles de traitement.
L’informatique a rapidement rencontré des problèmes avec la façon dont les systèmes logiciels et matériels basés sur des principes machine de Turing pourrait s'enliser dans des calculs sans signification appelés boucles de programme. Limitations logique conduit à des adaptations sur les principes machine de Turing, comme celui des machines de Turing quantiques et probabiliste. Une machine de Turing probabiliste utilise l'idée de plusieurs bandes en cours d'exécution dans la machine en même temps pour produire des résultats différents en parallèle, qui sont ensuite pondérés les uns contre les autres sur la base de la probabilité de résultat qui est la plus susceptible précis. Ces machines aboutiraient à des conclusions d'une manière similaire à la façon dont le logiciel fonctionne en logique floue des systèmes de contrôle de pointe de 2011.
Un ordinateur quantique basé sur le principe de la machine de Turing aurait une bande de longueur infinie avec des cellules de symboles dans un état indéterminé jusqu'à perpétuel lecture. Cela permettrait à une forme de traitement parallèle qui serait largement supérieure aux procédures de traitement des données utilisées dans les ordinateurs à partir de 2011. Quantum machines de Turing offrent la possibilité de stocker plusieurs valeurs dans des cellules individuelles de la mémoire jusqu'à accessible, qui standards basés sur la logique ordinateurs ne peuvent pas faire.