Des algorithmes autour des codes rationnels

par Xavier Augros

Thèse de doctorat en Informatique

Sous la direction de Igor Litovsky.

Soutenue en 2001

à Nice .


  • Résumé

    Dans cette thèse, nous nous intéressons au problème de décider si un langage rationnel donné est un omega-code. Nous décrivons donc des algorithmes pour décider de cette propriété dans le cas des langages finis et dans le cas rationnel. Ces travaux nous ont permis de mettre en évidence des langages tels que leurs puissances oméga contiennent des mots infinis qui ont plusieurs factorisations, et que celles-ci ne soient que des puissances oméga de factorisations de mots finis avec plusieurs factorisations (les pré-oméga-codes). Nous avons étudié quelques propriétés de ces pré-oméga-codes en rapport avec les générateurs de langages de mots infinis. Enfin, l'étude des factorisations des mots (finis ou infinis) dans le cadre précédent, nous a amené à nous intéresser à une notion de factorisation généralisée pour des mots engendrés par plusieurs langages. La construction d'un tel mot est ``dirigée'' par un mot (appelé trajectoire) issu d'un langage de contrôle. Nous avons étudié la notion de code associé et définit une notion de stabilité.

  • Titre traduit

    Algorithms for rational codes


  • Résumé

    In this thesis, we are interested in deciding if a given rational language is a ω-codes. Thus, we describe algorithms to decide this property in the case of finite languages and rational ones. This work enabled us to put in obviousness the languages whose power- ω contain infinite words which have several factorizations (the pre- ω-codes). We studied some properties of these pre- ω-codes in connection with the generators of languages of infinite words. Lastly, the study of factorizations of words (finite or infinite) within the preceding framework, led us to study a concept of generalized factorization for words of languages generated by two languages, and whose construction is directed by a word (called trajectory) resulting from a language of control. We studied the notion of associated code and defined a concept of stability.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 81 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 79-81. Résumés en français et en anglais

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 01NICE5693
  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 01NICE5693bis
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.