Machine de Turing

Mécanisme virtuel exécutant une procédure bien définie en changeant le contenu des cases d’un tableau infini. C’est un modèle abstrait de tous les ordinateurs actuels. Il en fournit une définition précise et est largement utilisé pour étudier la complexité des algorithmes.