AUTOMATA相关论文