Evènement pour le groupe Graphes et Logique


Date 2011-11-08  11:00-12:00
TitreAnalyse d'automates à pile pour XML 
RésuméLes documents XML sont habituellement représentés sous forme arborescente. Les langages de requête associés, comme XPath, sont des langages navigationnels dans ces arbres, et les automates usuels utilisent des parcours ascendants. Lire les balises d'un document XML l'une après l'autre revient à parcourir l'arbre correspondant dans l'ordre préfixe. Les automates à pile deviennent alors plus adaptés que les automates d'arbres classiques. Dans cet exposé, je poserai le problème consistant à répondre aux requêtes au plus tôt, selon ce type de parcours des arbres. Je montrerai qu'il se réduit à décider, pour un préfixe fixé, si tout suffixe "bien formé" est accepté. Je présenterai deux algorithmes pour ce problème, lorsque les requêtes sont données par des automates à pile. 
Lieusalle 76 
OrateurOlivier Gauwin 
Emailolivier.gauwin@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index