Titre :	Étude comparative sur les techniques de passage d'une expression rationnelle vers un automate d'arbres
Type de document :	texte manuscrit
Auteurs :	Zineb Bensaha, Auteur ; Younes Guellouma, Directeur de thèse
Editeur :	Laghouat : Université Amar Telidji - Département d'informatique
Année de publication :	2017
Importance :	51 p.
Format :	30 cm.
Accompagnement :	1 disque optique numérique (CD-ROM)
Note générale :	Option : Systèmes d'information et de décision
Langues :	Français
Mots-clés :	Automates d’arbres  Expression régulière  Positions des équations de Thompson  Complexités
Résumé :	Le but de ce travail est de faire une étude sur les techniques existante de passage entre les expressions régulières et les automates d’arbres. En effet, une expression rationnelle est une représentation textuelle formée d’opérateurs. Cette dernière sert `a d'écrire un motif d’arbres donne. Quant aux automates d’arbres, ils servent `a reconnaitre une famille d’arbre suivant une certaine régularité. En généralisant le théorème de Kleene connu pour les langages de mots, une équivalence entre les langages réguliers (d´écrits avec une expression régulière) et des langages reconnaissables (reconnus par un automate d’arbre) est présente.Trois algorithmes sont définis dans la littérature à savoir les automates de Thompson, de positions et des équations. Le but de cette étude est la d’effectuer une comparaison de complexités et d’´équivalence entre ces trois techniques.
note de thèses :	Mémoire de master en informatique

Étude comparative sur les techniques de passage d'une expression rationnelle vers un automate d'arbres [texte manuscrit] / Zineb Bensaha, Auteur ; Younes Guellouma, Directeur de thèse . - Laghouat : Université Amar Telidji - Département d'informatique, 2017 . - 51 p. ; 30 cm. + 1 disque optique numérique (CD-ROM).
Option : Systèmes d'information et de décision
Langues : Français

Mots-clés :	Automates d’arbres  Expression régulière  Positions des équations de Thompson  Complexités
Résumé :	Le but de ce travail est de faire une étude sur les techniques existante de passage entre les expressions régulières et les automates d’arbres. En effet, une expression rationnelle est une représentation textuelle formée d’opérateurs. Cette dernière sert `a d'écrire un motif d’arbres donne. Quant aux automates d’arbres, ils servent `a reconnaitre une famille d’arbre suivant une certaine régularité. En généralisant le théorème de Kleene connu pour les langages de mots, une équivalence entre les langages réguliers (d´écrits avec une expression régulière) et des langages reconnaissables (reconnus par un automate d’arbre) est présente.Trois algorithmes sont définis dans la littérature à savoir les automates de Thompson, de positions et des équations. Le but de cette étude est la d’effectuer une comparaison de complexités et d’´équivalence entre ces trois techniques.
note de thèses :	Mémoire de master en informatique