automata theory的用法与搭配