Overview
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.
- | Author: Khalil-W
- | Publisher: Omniscriptum
- | Publication Date: Feb 28, 2018
- | Number of Pages: 68 pages
- | Binding: Paperback or Softback
- | ISBN-10: 6131531226
- | ISBN-13: 9786131531224
