303 search results - page 9 / 61 » Automata on Gauss Words |
162
click to vote
MFCS
2009
Springer
16 years 12 days ago
2009
Springer
We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We deļ...
154
click to vote
RTA
2010
Springer
15 years 9 months ago
2010
Springer
Data words and data trees appear in veriļ¬cation and XML processing. The term ādataā means that positions of the word, or tree, are decorated with elements of an inļ¬nite set...
