Formal Methods of Transformations (Dagstuhl Seminar 17142)

Filiot, Emmanuel; Maneth, Sebastian; Seidl, Helmut

doi:10.4230/DagRep.7.4.23

Document

Formal Methods of Transformations (Dagstuhl Seminar 17142)

Authors Emmanuel Filiot, Sebastian Maneth, Helmut Seidl and all authors of the abstracts in this report

Part of: Issue: Dagstuhl Reports, Volume 7, Issue 4
Part of: Volume: Dagstuhl Reports, Volume 7
Part of: Journal: Dagstuhl Reports (DagRep)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2017-12-21

PDF

File

PDF

DagRep.7.4.23.pdf

Filesize: 3.45 MB
15 pages

Document Identifiers

DOI: 10.4230/DagRep.7.4.23
URN: urn:nbn:de:0030-drops-75462

Subject Classification

Keywords

string transducers
tree transducers
expressiveness
complexity

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

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.

Cite As Get BibTex

Emmanuel Filiot, Sebastian Maneth, and Helmut Seidl. Formal Methods of Transformations (Dagstuhl Seminar 17142). In Dagstuhl Reports, Volume 7, Issue 4, pp. 23-37, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017) https://doi.org/10.4230/DagRep.7.4.23

Author Details

Emmanuel Filiot

Sebastian Maneth

Helmut Seidl

and all authors of the abstracts in this report

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail