Automata Theory
Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. ... Automata theory is closely related to formal language theory. In this context, automata are used as finite .