local_automata_core
