науки, посвященный изучению автоматов , включающий в себя задачи
анализа поведения автомата при обработке информации и синтеза его структуры для заданного алгоритма.Автоматом - дискретный преобразователь информации, способный принимать различные состояния, переходить под воздействием входных сигналов из одного состояния в другое и выдавать выходные сигналы.
Конечный автомат – автомат, множество состояний и множества входных и выходных сигналов которого конечны.