Weak MSO with the Unbounding Quantifier

Abstract : A new class of languages of infinite words is introduced, called the max-regular languages, extending the class of ω-regular languages. The class has two equivalent descriptions: in terms of automata (a type of deterministic counter automaton), and in terms of logic (weak monadic second-order logic with a bounding quantifier). Effective translations between the logic and automata are given.
Type de document :
Communication dans un congrès
Susanne Albers and Jean-Yves Marion. 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. IBFI Schloss Dagstuhl, pp.159-170, 2009, Proceedings of the 26th Annual Symposium on the Theoretical Aspects of Computer Science
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00359061
Contributeur : Publications Loria <>
Soumis le : jeudi 5 février 2009 - 14:33:49
Dernière modification le : jeudi 12 février 2009 - 16:48:05
Document(s) archivé(s) le : mardi 8 juin 2010 - 21:55:40

Fichiers

bojanczyk_new.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00359061, version 1
  • ARXIV : 0902.1042

Collections

Citation

Mikolaj Bojanczyk. Weak MSO with the Unbounding Quantifier. Susanne Albers and Jean-Yves Marion. 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. IBFI Schloss Dagstuhl, pp.159-170, 2009, Proceedings of the 26th Annual Symposium on the Theoretical Aspects of Computer Science. 〈inria-00359061〉

Partager

Métriques

Consultations de la notice

71

Téléchargements de fichiers

139