automata 2B9S 9S2B 2023