#automata-2b