234 search results - page 4 / 47 » On Quasi-Products of Tree Automata |
FCT
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
FSTTCS
2009
Springer
14 years 4 months ago
2009
Springer
ABSTRACT. We continue the study of bottom-up unranked tree automata with equality and disequality constraints between direct subtrees. In particular, we show that the emptiness pro...
ILC
2007
Springer
14 years 3 months ago
2007
Springer
Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal µ-calculus extended with backwards modalities. In this paper, we ...
LATA
2009
Springer
14 years 4 months ago
2009
Springer
WIA
2005
Springer
14 years 3 months ago
2005
Springer
The complexity of various membership problems for tree automata on compressed trees is analyzed. Two compressed representations are considered: dags, which allow to share identical...