Maszyna licznikowa

Ten artykuł od 2012-03 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary) Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Maszyna licznikowa – abstrakcyjny model maszyny będący prostą odmianą maszyny rejestrowej.

Najprostsza jej wersja zawiera dwie komendy: INC(R,Z), która zwiększa zawartość rejestru R o 1 i przechodzi do komendy Z oraz DEC(R,Z1,Z2), która zmniejsza zawartość rejestru R o 1 i przechodzi do komendy Z1, jeśli zawartość rejestru jest większa niż 0. Jeśli rejestr R zawiera zero to komenda nie zmienia jego zawartości i automatycznie przechodzi do komendy Z2.