Sciweavers

54 search results - page 6 / 11
» Deterministic Automata on Unranked Trees
Sort
View
FSTTCS
2006
Springer
13 years 11 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
14 years 28 days 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
13 years 5 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»
14 years 13 days 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
14 years 1 months ago
An Implementation of Deterministic Tree Automata Minimization
Rafael C. Carrasco, Jan Daciuk, Mikel L. Forcada