Expression de Contraintes Globales Dans Les Documents Semi-Structur�s » książka
Expression de Contraintes Globales Dans Les Documents Semi-Structur�s
ISBN-13: 9786131531224 / Francuski / Miękka / 2018 / 68 str.
RA(c)sumA(c) La logique TQL (Tree Query Language) proposA(c)e par Cardelli et Ghelli est un langage logique, de type dA(c)claratif, permettant d''exprimer des propriA(c)tA(c)s sur les documents semi-structurA(c)s. En utilisant la logique TQL nous pouvons caractA(c)riser certains langages d''arbres comme par exemple les langages d''arbres rA(c)guliers A aritA(c)s non bornA(c)es. Dans ce travail, notre objectif est d''enrichir cette logique afin de pouvoir exprimer des propriA(c)tA(c)s des langages d''arbres hors-contexte, des langages d''arbres synchronisA(c)s rA(c)guliers et des langages d''arbres synchronisA(c)s hors-contexte.
Résumé: La logique TQL (Tree Query Language) proposée par Cardelli et Ghelli est un langage logique, de type déclaratif, permettant dexprimer des propriétés sur les documents semi-structurés. En utilisant la logique TQL nous pouvons caractériser certains langages darbres comme par exemple les langages darbres réguliers à arités non bornées. Dans ce travail, notre objectif est denrichir cette logique afin de pouvoir exprimer des propriétés des langages darbres hors-contexte, des langages darbres synchronisés réguliers et des langages darbres synchronisés hors-contexte.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
