Разница между конечным и бесконечным автоматом заключается в количестве внутренних состояний. 12

Конечный автомат — модель дискретного устройства, которое имеет один вход и один выход и в каждый момент времени находится в одном состоянии из множества возможных. 2 Число возможных внутренних состояний такого автомата конечно. 2

Бесконечный автомат — автомат с бесконечным числом внутренних состояний. 12 Память такого автомата потенциально может неограниченно возрастать. 1

Примеры бесконечных автоматов — абстрактные автоматы Поста и Тьюринга, а конечных — ЭВМ или её отдельные части. 1