An Effective Extension of the Wagner Hierarchy to Blind Counter Automata
arXiv:1005.5635
Abstract
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.