An Effective Extension of the Wagner Hierarchy to Blind Counter Automata
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...