Determinization of transducers over infinite words - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

Determinization of transducers over infinite words

Marie-Pierre Béal
  • Fonction : Auteur
  • PersonId : 841350
Laboratoire d'Informatique Gaspard-Monge
Olivier Carton
Laboratoire d'Informatique Gaspard-Monge
CV

Résumé

We study the determinization of transducers over infinite words. We consider transducers with all their states final. We give an effective characterization of sequential functions over infinite words. We also describe an algorithm to determinize transducers over infinite words.

Domaines

Algorithme et structure de données [cs.DS]
Fichier principal
Vignette du fichier
hal.pdf (170.47 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Marie-Pierre Béal  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00619850

Soumis le : jeudi 6 octobre 2011-13:52:48

Dernière modification le : jeudi 28 mars 2024-03:26:57

Archivage à long terme le : samedi 7 janvier 2012-02:21:09

Télécharger pour visualiser

Dates et versions

hal-00619850 , version 1 (06-10-2011)

Identifiants

  • HAL Id : hal-00619850 , version 1

Citer

Marie-Pierre Béal, Olivier Carton. Determinization of transducers over infinite words. 27thInternational Colloquium on Automata, Languages and Programming (ICALP 2000), 2000, Switzerland. pp.561-570. ⟨hal-00619850⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENPC CNRS UNIV-MLV LIGM_ALGO PARISTECH LIGM UNIV-EIFFEL JSE2024
89 Consultations
161 Téléchargements

Partager

Gmail Facebook X LinkedIn More