Machine de TuringIl s'agit d'un modèle informatique abstrait proposé par Alan Turing en 1936. Sa définition la plus abstraite est une machine logique mathématique, qui peut être considérée comme une machine logique équivalente à tout processus mathématique logique fini.

L'idée de base de Turing est d'utiliser des machines pour simuler le processus par lequel des personnes utilisent du papier et un stylo pour effectuer des opérations mathématiques, et de considérer ce processus comme les deux actions suivantes :

• Écrire ou effacer un symbole sur du papier ;
• Déplacez votre attention d’une partie du document à une autre.

Les machines de Turing et la théorie computationnelle constituent le fondement théorique du domaine de l’IA et même de l’ensemble du domaine de l’informatique. Actuellement, la plupart des processus calculables peuvent être simulés par des machines de Turing.