Sciweavers

54 search results - page 6 / 11
» Deterministic Automata on Unranked Trees
Sort
View
FSTTCS
2006
Springer
15 years 3 months ago
Branching Pushdown Tree Automata
We observe that pushdown tree automata (PTAs) known in the literature cannot express combinations of branching and pushdown properties. This is because a PTA processes the children...
Rajeev Alur, Swarat Chaudhuri
LICS
2005
IEEE
15 years 5 months ago
Looping Caterpillars
There are two main paradigms for querying semi structured data: regular path queries and XPath. The aim of this paper is to provide a synthesis between these two. This synthesis i...
Evan Goris, Maarten Marx
LICS
2010
IEEE
14 years 10 months ago
The Emptiness Problem for Tree Automata with Global Constraints
We define tree automata with global constraints (TAGC), generalizing the well-known class of tree automata with global equality and disequality constraints [14] (TAGED). TAGC can...
Luis Barguñó, Carles Creus, Guillem ...
PODS
2010
ACM
170views Database» more  PODS 2010»
15 years 4 months ago
A learning algorithm for top-down XML transformations
A generalization from string to trees and from languages to translations is given of the classical result that any regular language can be learned from examples: it is shown that ...
Aurélien Lemay, Sebastian Maneth, Joachim N...
WIA
2007
Springer
15 years 6 months ago
An Implementation of Deterministic Tree Automata Minimization
Rafael C. Carrasco, Jan Daciuk, Mikel L. Forcada