machine de Turing

  • Machine à calculer fictive, imaginée par Turing, capable d'exécuter des programmes finis de longueur arbitraire et d'effectuer des calculs finis de longueur arbitraire.