Автоматы счетчиковые — бесконечные автоматы специального вида, представляющие собой композицию конечного автомата и одного или нескольких счетчиков.
[Зотов В.В., Маслов Ю.Н., Пядочкин А.Е., Самойлов Л.К., Темников Ф.Е., Хорошилов В.О., Черпаков Б.И. Терминологический словарь по автоматике, информатике и вычислительной технике — Москва: Высшая школа, 1989 — с.191]