Étude algorithmique des structures algébriques libres ou partiellement commutatives et mesure probabiliste du parallélisme - Université de Lorraine Accéder directement au contenu
Thèse Année : 1991

Algorithmic study of free or partially commutative algebric structures and probabilistic concurrency measure

Étude algorithmique des structures algébriques libres ou partiellement commutatives et mesure probabiliste du parallélisme

Saad Benachi
  • Fonction : Auteur
  • PersonId : 787630
  • IdRef : 191285358

Résumé

Not available
Le cadre général du présent travail étant les ensembles connus par générateurs et relations. Dans les deux premiers chapitres de cette thèse, on s'est intéressé aux solutions algorithmiques de certains problèmes dans les structures algébriques du type groupe ou monoïde, libre ou partiellement commutatif. Cette étude a été couronnée par la conception du logiciel décidé possédant les fonctionnalités suivantes: 1) dans les cas des groupes à génération fini, il permet de résoudre les problèmes de: appartenance: un élément d'un groupe donne est-il membre d'un sous-groupe (le groupe et le sous-groupe sont connus par leurs générateurs); normalité: un sous-groupe d'un groupe donne possède-t-il une certaine propriété qui permet de le distinguer des autres sous-groupes. 2) il construit l'automate qui reconnait des parties de certains monoïdes partiellement commutatifs libres. Pour le cas des structures algébriques partiellement commutatifs, une extension au cas des groupes libres partiellement commutatifs est envisageable moyennant la résolution de deux problèmes annexes. L'utilisation des transducers finis pour la reconnaissabilité dans les monoïdes partiellement commutatifs libres a été démontrée pour un cas particulier. Dans le chapitre 3 sont exposes les différents algorithmes pour le calcul des éléments de la classe de commutation d'un mot et ceux de la génération uniforme des mots de Motzkin. Dans le chapitre 4, on s'est intéressé à une mesure probabiliste du parallélisme
Fichier non déposé

Dates et versions

tel-01747871 , version 1 (29-03-2018)

Identifiants

  • HAL Id : tel-01747871 , version 1

Accès intranet

Citer

Saad Benachi. Étude algorithmique des structures algébriques libres ou partiellement commutatives et mesure probabiliste du parallélisme. Autre. Université Henri Poincaré - Nancy 1, 1991. Français. ⟨NNT : 1991NAN10383⟩. ⟨tel-01747871⟩
16 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More