Accéder directement au contenu Accéder directement à la navigation
Nouvelle interface
Thèse

Synchronisation de grammaires de graphe

Résumé : Les langages réguliers sont des langages qui ont été largement étudiés, notamment du point de vue de leurs propriétés de clôture ensembliste : l'ensemble des langages réguliers (pour un alphabet donné) forme une algèbre de Boole close par concaténation et étoile de Kleene. Ces propriétés ne se généralisent pas toutes à l ensemble des langages algébriques qui est un sur-ensemble de l'ensemble des langages réguliers. Notamment les langages algébriques ne sont pas clos par intersection. Pour engendrer ces langages, nous utilisons les grammaires déterministes de graphes. Une grammaire de graphes est un système fini de récriture d'hypergraphes finis. Par récriture itérée à partir d'un non-terminal, la grammaire engendre un graphe régulier dont les traces forment un langage algébrique. En définissant une relation de synchronisation entre ces grammaires, on montre que l'on peut définir des sous-ensembles stricts de langages algébriques non-ambigus qui forment des algèbres de Boole effectives contenant les langages réguliers. Nous donnons également des conditions suffisantes pour que ces algèbres booléennes soient closes par concaténation et étoile de Kleene.
Type de document :
Thèse
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00462032
Contributeur : Yves Bouhin Connectez-vous pour contacter le contributeur
Soumis le : lundi 8 mars 2010 - 11:48:53
Dernière modification le : mardi 19 octobre 2021 - 17:56:01
Archivage à long terme le : : mercredi 30 novembre 2016 - 15:08:02

Identifiants

  • HAL Id : tel-00462032, version 1

Citation

Stéphane Hassen. Synchronisation de grammaires de graphe. Informatique [cs]. Université de la Réunion, 2009. Français. ⟨NNT : ⟩. ⟨tel-00462032⟩

Partager

Métriques

Consultations de la notice

206

Téléchargements de fichiers

127