ملخص: 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:
لغة: فرنسية
الوصف المادي: 127 p. ill. ;30 cm.
الشهادة: Doctorat
مؤسسة مناقشة الرسالة: Paris, Université Pierre et Marie Curie. Institut Blaise Pascal
تخصص: Informatique
الفهرس العشري 621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع الإعلام الآلي

الكلمات الدالة:
Sciences appliquées :Thèses et écrits académiques
Mot infini

ملاحظة: Bibliogr. pp.123-127