An Effective Extension of the Wagner Hierarchy to Blind Counter Automata

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.

• Type: Journal
• Year: 2010
• Where: CORR
• Authors: Olivier Finkel
• Keywords: CORR 2010, Counter Automata, Education, Muller Acceptance Condition, Wagner Hierarchy