【电】 abstract automata theory
abstract【医】 abstraction
【计】 automata theory; automaton theory; theory of automata