automata_split_range