### Automata for Data Words and Data Trees

Mikolaj Bojanczyk
Data words and data trees appear in verification and XML processing. The term data'' means that positions of the word, or tree, are decorated with elements of an infinite set of data values, such as natural numbers or ASCII strings. This talk is a survey of the various automaton models that have been developed for data words and data trees.