EAN13
9786131531224
Éditeur
Univ Européenne
Date de publication
31 août 2010
Collection
OMN.UNIV.EUROP.
Nombre de pages
68
Dimensions
22,9 x 15,2 x 0,4 cm
Poids
114 g
Langue
fre

Expression De Contraintes Globales Dans Les Documents Semi-Structurés

Khalil-W

Univ Européenne

Prix public : 29,00 €

Résumé: La logique TQL (Tree Query Language) proposée par Cardelli et Ghelli est un langage logique, de type déclaratif, permettant d''exprimer des propriétés sur les documents semi-structurés. En utilisant la logique TQL nous pouvons caractériser certains langages d''arbres comme par exemple les langages d''arbres réguliers à arités non bornées. Dans ce travail, notre objectif est d''enrichir cette logique afin de pouvoir exprimer des propriétés des langages d''arbres hors-contexte, des langages d''arbres synchronisés réguliers et des langages d''arbres synchronisés hors-contexte.
Trouver ou

Offres