par Filiot, Emmanuel
Référence Lecture notes in computer science, 8923, page (30-57)
Publication Publié, 2015
Article révisé par les pairs
Résumé : Pioneered by Büchi, Elgot and Trakhtenbrot, connections between automata and logics that define languages of words and trees are now well-established. During the last decade, some of these powerful connections have been extended to binary relations (transformations) of words and trees. This paper is a survey of known automata-logic connections for transformations.