Machine de Turing


Définition

En informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur. Ce modèle a été imaginé par Alan Turing en 1936, en vue de donner une définition précise au concept d’algorithme ou de « procédure mécanique ». Il est toujours largement utilisé en informatique théorique, en particulier dans les domaines de la complexité algorithmique et de la calculabilité.

Français

machine de Turing

Anglais

Turing machine


Sources

Source: Wikipedia, Machine de Turing.



Contributeurs: Jacques Barolet, wiki