Theoretical computer science
Automata theory: An automaton is an abstraction of a machine, which changes its internal state according to some rules. Automata theory also looks at the kinds of problems that can be solved by such automata.