local_automata
