Algorithmique des automates d’arbres en vue d’un traitement efficace des grandes masses de donnees ´

Abstract

Les automates d'arbres constituent un outil théorique puissant utilisé dans plusieurs domaines tel que la modélisation XML, le traitement des langages naturels, la vérification formelle... Afin de réduire l’écart entre cet outil théorique et la pratique et pour fournir une boite à outils solide qui permet aux praticiens d'utiliser l’algorithmique vaste dans ce domaine, nous traitons dans cette thèse les différents aspects sur les automates d'arbres à multiplicité. Nous présentons dans un cadre formel ses modèles mathématiques, nous présentons l'algorithmique efficace et nous améliorons ceux qui sont utiles pour le traitement des grandes masses de données.