Résumé: Le travail de recherche expose dans ce mémoire a pour point de départ deux faits: d'une part, un langage rationnel de mots infinis est caractérise par l'ensemble de ses mots ultimement periodiques et d'autre part, un mot ultimement periodique peut être représente par un mot fini. Du rapprochement de ces deux constatations est née l’idée de représenter les langages rationnels de mots infinis par des langages de mots finis. Nous montrons, en utilisant trois opérateurs (puissance, racine et conjugaison) que ces langages de représentations finies sont rationnels, puis nous caractérisons ces langages a l'aide d'une relation d’équivalence identifiant les mots finis représentant le même mot ultimement periodique. Cette approche produit une construction du monoïde syntaxique d'un langage rationnel de mots infinis, ainsi qu'une procédure de décision de la théorie s1s basée sur les langages rationnels de mots finis. Enfin, nous définissons les langages de périodes et de préfixes associes a un langage rationnel de mots infinis. Les premiers sont caractérises par trois opérateurs (similaires aux précédents) et nous donnons une condition nécessaire vérifiée par les seconds

Paris:
Langue: Français
Collation: 127 p. ill. ;30 cm.
Diplôme: Doctorat
Etablissement de soutenance: Paris, Université Pierre et Marie Curie. Institut Blaise Pascal
Spécialité: Informatique
Index décimal 621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème Informatique

Mots clés:
Sciences appliquées :Thèses et écrits académiques
Mot infini

Note: Bibliogr. pp.123-127