Une caracterisation effective d'une sous-classe propre des graphes algebriques : les graphes alphabetiques

par ROLAND MONFORT

Thèse de doctorat en Mathématiques et applications

Sous la direction de JEAN-CLAUDE RAOULT.

Soutenue en 1990

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Les grammaires deterministes de graphes permettent la generation de graphes infinis appeles graphes a motifs. Parmi ceux-ci on distingue la classe des graphes algebriques qui sont les graphes de transition des automates a pile. Une sous-classe propre des graphes algebriques est celle des graphes alphabetiques qui sont les graphes de transition des grammaires algebriques. On donne une condition necessaire et suffisante pour qu'un graphe algebrique soit alphabetique. Une grammaire deterministe de graphes etant donnee, on dispose d'un algorithme qui determine si le graphe a motifs qu'elle engendre est alphabetique, et dans l'affirmative, donne la grammaire algebrique dont le graphe de transition est ce meme graphe a motifs


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (71 f.)
  • Annexes : 18 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1990/4
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.