Теория автоматов — изучение абстрактных машин и вычислительных задач, которые они способны решать. Это раздел теоретической информатики и дискретной математики, обеспечивающий основы для языков, вычислений, верификации и моделирования систем.
The study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science and discrete mathematics (a subject of study in both mathematics and computer science).