Reduced languages as omega-generators

Abstract : We consider the following decision problem: “Is a rational omega-language generated by a code ?” Since 1994, the codes admit a characterization in terms of infinite words. We derive from this result the definition of a new class of languages, the reduced languages. A code is a reduced language but the converse does not hold. The idea is to “reduce" easy-to-obtain minimal omega-generators in order to obtain codes as omega-generators.
Type de document :
Communication dans un congrès
Tero Harju and Juhani Karhumäki and Arto Lepistö. DLT 2007, Jul 2007, Turku, Finland. Springer Berlin / Heidelberg, 4588, pp.266-277, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-73208-2_26〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00403286
Contributeur : Sandrine Julia <>
Soumis le : jeudi 9 juillet 2009 - 22:33:51
Dernière modification le : vendredi 10 juillet 2009 - 08:07:08
Document(s) archivé(s) le : mardi 15 juin 2010 - 18:25:17

Fichier

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

Identifiants

Collections

Citation

Sandrine Julia, Vinh Duc Tran. Reduced languages as omega-generators. Tero Harju and Juhani Karhumäki and Arto Lepistö. DLT 2007, Jul 2007, Turku, Finland. Springer Berlin / Heidelberg, 4588, pp.266-277, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-73208-2_26〉. 〈hal-00403286〉

Partager

Métriques

Consultations de la notice

196

Téléchargements de fichiers

133