Une caractérisation effective d'une sous-classe propre des graphes algébriques : les graphes alphabétiques

An effective caracterization of a proper sub-class of the algebraic graphs : the alphabetical graphs

• Auteur / Autrice : Roland Monfort
• Direction : Jean-Claude Raoult
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques et applications
• Date : Soutenance en 1990
• Etablissement(s) : Rennes 1

Mots clés

Mots clés contrôlés

Algèbre

Résumé

Les grammaires déterministes de graphes permettent la génération de graphes infinis appelés graphes à motifs. Parmi ceux-ci on distingue la classe des graphes algébriques qui sont les graphes de transition des automates à pile. Une sous-classe propre des graphes algébriques est celle des graphes alphabétiques qui sont les graphes de transition des grammaires algébriques. On donne une condition necéssaire et suffisante pour qu'un graphe algébrique soit alphabétique. Une grammaire déterministe de graphes étant donnée, on dispose d'un algorithme qui détermine si le graphe à motifs qu'elle engendre est alphabétique, et dans l'affirmative, donne la grammaire algébrique dont le graphe de transition est ce même graphe à motifs.