Automata theory is the study of abstract machines and the computational problems they can solve. It is a branch of theoretical computer science and discrete mathematics that provides foundations for languages, computation, verification, and system modeling.
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).