Counter_automaton