noun
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.