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.
@Article{filiot_et_al:DagRep.7.4.23, author = {Filiot, Emmanuel and Maneth, Sebastian and Seidl, Helmut}, title = {{Formal Methods of Transformations (Dagstuhl Seminar 17142)}}, pages = {23--37}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {4}, editor = {Filiot, Emmanuel and Maneth, Sebastian and Seidl, Helmut}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.4.23}, URN = {urn:nbn:de:0030-drops-75462}, doi = {10.4230/DagRep.7.4.23}, annote = {Keywords: string transducers, tree transducers, expressiveness, complexity} }
Feedback for Dagstuhl Publishing