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ļ...
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...