An Effective Extension of the Wagner Hierarchy to Blind Counter Automata

Olivier Finkel

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.

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment