キーワードalternating multi-counter automata