Firefighter automata problem