Logic-automata connections for transformations (ICLA'15)
Emmanuel Filiot · Dépôt institutionnel de l'Université libre de Bruxelles (Université Libre de Bruxelles) · 2015
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.