Contribution à l'étude de l'étoile dans les monoïdes de commutation

par G Richomme

Thèse de doctorat en Informat.

Sous la direction de Yves Métivier.

Soutenue en 1994

à Bordeaux 1 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Le sujet de cette these est l'etude des problemes de l'etoile et de la puissance finie dans les monoides libres partiellement commutatifs, modeles pour des comportements distribues. Elle presente tout d'abord ces deux problemes. En utilisant les resultats sur les automates a couts, la decidabilite du probleme de la puissance finie pour des ensembles de traces connexes est demontree. En s'appuyant sur ce resultat, il est determine une famille de monoides de commutation dans lesquels les deux problemes sont decidables. Cette famille contient strictement tous les cas de decidabilite connus a ce jour. La decidabilite du probleme de l'etoile est prouvee pour des ensembles finis contenant au plus quatre traces ou au plus deux traces connexes. Il est ensuite montre que l'etoile d'un ensemble est reconnaissable si et seulement si l'ensemble contenant les traces non connexes de cet ensemble et les traces connexes de son etoile possede la propriete de puissance finie. En utilisant ce resultat, il est montre que dans un monoide de commutation, le probleme de l'etoile est decidable si et seulement si le probleme de la puissance finie est decidable. Il est egalement prouve qu'une procedure proposee pour calculer la cloture d'un ensemble de mots fournit un semi-algorithme pour le probleme de l'etoile. Cette procedure donne egalement de nouvelles preuves de resultats connus sur les ensembles reconnaissables

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 98 p

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FT 94.B-1117
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Non disponible pour le PEB
  • Cote : FTR 94.B-1117
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.