Marrying Words and Trees

10 years 2 months ago
Marrying Words and Trees
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this paper, we argue that nested words and automata over nested words offer a better way to capture and process the dual structure. Nested words generalize both words and ordered trees, and allow both word and tree operations. We study various classes of automata over nested words, and show that while they enjoy expressiveness and succinctness benefits over word and tree automata, their analysis complexity and closure properties are analogous to the corresponding word and tree special cases. In particular, we show that finite-state nested word automata can be exponentially more succinct than tree automata, and pushdown nested word automata include the two incomparable classes of context-free word languages and context-free tree languages. Categories and Subject Descriptors F.4.3 [Theory of computation]: Formal lan...
Rajeev Alur
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where CSR
Authors Rajeev Alur
Comments (0)