O mașină de numărat este un model de calcul foarte rudimentar. Mașinile de ghișeu sunt uneori denumite mașini de înregistrare sau mașini Minsky .
În cea mai simplă versiune, o mașină de numărat este formată din două contoare (sau registre) și un program. Fiecare contor este un întreg natural (nelimitat). Programul este o serie de instrucțiuni ale formularului (C1 desemnează primul contor și C2 al doilea contor):
Unde i1 și i2 sunt etichete (sau număr de linii ) ale programului.
Mașinile de contor au aceeași putere de calcul ca și mașinile Turing (a se vedea calculabilitatea ). Prin urmare, putem simula orice mașină Turing cu o mașină cu două contoare și invers. În special, oprirea unei mașini cu doi metri este indecidabilă . De asemenea, este posibil să simulați, cu o mașină cu două contoare, o mașină cu 3, 4, 5 sau mai multe contoare.
O mașină cu un singur contor este mai puțin puternică decât un automat alimentat cu baterii .