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