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.
Publié le : 2001-07-05
Classification:
Wadge games,
omega-languages,
blind counter automata,
effective extension of the Wagner hierarchy,
topological properties,
Wadge hierarchy,
Wadge games.,
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO],
[INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT],
[MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
@article{hal-00114314,
author = {Finkel, Olivier},
title = {An Effective Extension of the Wagner Hierarchy to Blind Counter Automata},
journal = {HAL},
volume = {2001},
number = {0},
year = {2001},
language = {en},
url = {http://dml.mathdoc.fr/item/hal-00114314}
}
Finkel, Olivier. An Effective Extension of the Wagner Hierarchy to Blind Counter Automata. HAL, Tome 2001 (2001) no. 0, . http://gdmltest.u-ga.fr/item/hal-00114314/