machine de Turing

Définitions de 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.