Une machine à Turing est un modèle de calcul idéalisé constitué d'une commande finie-état, d'une bande de détention de bande infinie et d'une tête de lecture placée quelque part sur la bande. Les machines de TURED sont utilisées dans la théorie de la calcul de la calcul sur les limites du calcul, de fournir une définition formelle pour un algorithme et de fournir des modèles formels pour le non-déterminé.
Je comprends qu'ils ne sont pas réels et ils semblent pouvoir calculer une succursale chaque fois qu'il y a 2 options, au lieu de en choisir un. Mais, par exemple, si je dis cela:
...
