2026-08-11T18:44:54Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7546 2024-03-06T10:26:45Z ddc:004 open_access

Formal Methods of Transformations (Dagstuhl Seminar 17142) Filiot, Emmanuel Maneth, Sebastian Seidl, Helmut string transducers tree transducers expressiveness complexity The goal of this Dagstuhl seminar was to gather researchers working on the theory and practice of transformations (also know as transductions) of word and tree structures, which are realised by transducers (automata with outputs). This seminar was motivated by recent advances and breakthrough results, both in the settings of words and trees. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Emmanuel Filiot and Sebastian Maneth and Helmut Seidl 2017 Is Part Of Dagstuhl Reports, Volume 7, Issue 4 (2018) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.7.4.23 urn:nbn:de:0030-drops-75462 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.4.23 eng https://creativecommons.org/licenses/by/3.0/legalcode