An Effective Extension of the Wagner Hierarchy to Blind Counter Automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

An Effective Extension of the Wagner Hierarchy to Blind Counter Automata

Olivier Finkel
  • Fonction : Auteur
  • PersonId : 834645

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.
Fichier principal
Vignette du fichier
csl01.pdf (221.74 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00114314 , version 1 (16-11-2006)
hal-00114314 , version 2 (15-03-2010)

Identifiants

  • HAL Id : hal-00114314 , version 1

Citer

Olivier Finkel. An Effective Extension of the Wagner Hierarchy to Blind Counter Automata. 2001, pp.369-383. ⟨hal-00114314v1⟩
61 Consultations
166 Téléchargements

Partager

Gmail Facebook X LinkedIn More