Ces machines (théoriques) permettent de résoudre tous les problèmes qui peuvent être décrits sous forme algorithmique.
Leur mémoire peut être représentée par des cases et des pions (cailloux, pièces de monnaie...) et un pointeur (bâtonnet, trombone...).

Il suffit alors de suivre scrupuleusement les instructions, sans chercher à penser, pour que le résultat soit garanti.
Ci-dessous, l'algorithme à utiliser pour multiplier par 2.