Automata Theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them regarded as a subfield of Computational Theory Subpages Automata (Sequential Model of Computation) Formal Grammar - Formal Language