An Effective Extension of the Wagner Hierarchy to Blind Counter Automata
Logic in Computer Science
2010-06-02 v1 Formal Languages and Automata Theory
Logic
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.
Keywords
Cite
@article{arxiv.1005.5635,
title = {An Effective Extension of the Wagner Hierarchy to Blind Counter Automata},
author = {Olivier Finkel},
journal= {arXiv preprint arXiv:1005.5635},
year = {2010}
}