Automata on linear orderings - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Computer and System Sciences Année : 2007

Automata on linear orderings

Résumé

We consider words indexed by linear orderings. These extend finite, (bi-)infinite words and words on ordinals. We introduce finite automata and rational expressions for these words. We prove that for countable scattered linear orderings, these two notions are equivalent. This result extends Kleene's theorem.
Fichier principal
Vignette du fichier
jcss.pdf (338 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00160925 , version 1 (09-07-2007)

Identifiants

  • HAL Id : hal-00160925 , version 1

Citer

Véronique Bruyère, Olivier Carton. Automata on linear orderings. Journal of Computer and System Sciences, 2007, 73 (1), pp.1-24. ⟨hal-00160925⟩
44 Consultations
215 Téléchargements

Partager

Gmail Facebook X LinkedIn More