1 【电】 抽象自动机理论 — abstract automata theory