Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Winter, Sarah https://www.dagstuhl.de/lipics License: Creative Commons Attribution 4.0 license (CC BY 4.0)
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-145308
URL:

Decision Problems for Origin-Close Top-Down Tree Transducers

pdf-format:


Abstract

Tree transductions are binary relations of finite trees. For tree transductions defined by non-deterministic top-down tree transducers, inclusion, equivalence and synthesis problems are known to be undecidable. Adding origin semantics to tree transductions, i.e., tagging each output node with the input node it originates from, is a known way to recover decidability for inclusion and equivalence. The origin semantics is rather rigid, in this work, we introduce a similarity measure for transducers with origin semantics and show that we can decide inclusion, equivalence and synthesis problems for origin-close non-deterministic top-down tree transducers.

BibTeX - Entry

@InProceedings{winter:LIPIcs.MFCS.2021.90,
  author =	{Winter, Sarah},
  title =	{{Decision Problems for Origin-Close Top-Down Tree Transducers}},
  booktitle =	{46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)},
  pages =	{90:1--90:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-201-3},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{202},
  editor =	{Bonchi, Filippo and Puglisi, Simon J.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2021/14530},
  URN =		{urn:nbn:de:0030-drops-145308},
  doi =		{10.4230/LIPIcs.MFCS.2021.90},
  annote =	{Keywords: tree tranducers, equivalence, uniformization, synthesis, origin semantics}
}

Keywords: tree tranducers, equivalence, uniformization, synthesis, origin semantics
Seminar: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)
Issue date: 2021
Date of publication: 18.08.2021


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI