sjtu_automata
