Parallelism and Tree Regular Constraints - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

Parallelism and Tree Regular Constraints

Résumé

Parallelism constraints are logical descriptions of trees. Parallelism constraints subsume dominance constraints and are equal in expressive power to context unification. Parallelism constraints belong to the constraint language for lambda structures (CLLS) which serves for modeling natural language semantics. In this paper, we investigate the extension of parallelism constraints by tree regular constraints. This canonical extension is subsumed by the monadic second-order logic over parallelism constraints. We analyze the precise expressiveness of this extension on basis of a new relationship between tree automata and logic. Our result is relevant for classifying different extensions of parallelism constraints, as in CLLS. Finally, we prove that parallelism constraints and context unification remain equivalent when extended with tree regular constraints.
Fichier principal
Vignette du fichier
sdom.pdf (155.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00536827 , version 1 (16-11-2010)

Identifiants

  • HAL Id : inria-00536827 , version 1

Citer

Joachim Niehren, Mateu Villaret. Parallelism and Tree Regular Constraints. International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2002, Tblisi, Georgia. pp.311--326. ⟨inria-00536827⟩
24 Consultations
104 Téléchargements

Partager

Gmail Facebook X LinkedIn More