automata theory
Technical term in theoretical computer science; refers to the study of abstract machines and the computational problems they can solve.
Automata theory is one of the fundamental fields of computer science.
Compound of オートマトン (from English 'automaton') and 理論 (theory).