automata theory


noun

the formal study of the power of computation of abstract machines