Автомат (один автомат, несколько автоматов) - это понятие из математики. Иногда это понятие называют автоматом состояний. Он похож на абстрактный автомат.
Такому автомату можно дать входные данные, которые либо отвергаются, либо принимаются. Это похоже на торговый автомат. Когда что-то покупается, в автомат нужно вставить монеты (или деньги). Если это правильные монеты, они принимаются, и требуемый предмет опускается, чтобы его можно было извлечь. Если монеты неправильные, они отклоняются.
Внутри автомата есть различные состояния, в которых он может находиться. Подача входных данных может (или не может) изменить его состояние. Таким образом, автомат проходит через все входные данные, потребляя по одному элементу (который математики называют символом) за раз. Когда не остается ни одного символа, автомат находится в определенном состоянии. Это может быть конечное состояние. В этом случае входные данные принимаются. В противном случае вход отвергается.
Если машина имеет счетное, конечное число состояний, то она называется конечным автоматом. Диаграмма, которая показывает все состояния и переходы такого автомата, называется диаграммой конечных состояний.
