Бесконечные состояния: автомат, который может не иметь конечного числа состояний или даже счетного числа состояний.
Если машина имеет счетное конечное число состояний, она называется конечным автоматом.