An Effective Extension of the Wagner Hierarchy to Blind Counter Automata
The extension of the Wagner hierarchy to blind counter automata accepting infinite words with a Muller acceptance condition is effective. We determine precisely this hierarchy.