We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.FL

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Formal Languages and Automata Theory

Title: Characterizing Attributed Tree Translations in Terms of Macro Tree Transducers

Abstract: It is well known that attributed tree transducers can be equipped with "regular look-around" in order to obtain a more robust class of translations. We present two characterizations of this class in terms of macro tree transducers (MTTs): the first one is a static restriction on the rules of the MTTs, where the MTTs need to be equipped with regular look-around. The second characterization is a dynamic one, where the MTTs only need regular look-ahead.
Subjects: Formal Languages and Automata Theory (cs.FL)
Cite as: arXiv:2209.07090 [cs.FL]
  (or arXiv:2209.07090v1 [cs.FL] for this version)

Submission history

From: Kenji Hashimoto [view email]
[v1] Thu, 15 Sep 2022 07:03:24 GMT (279kb,D)

Link back to: arXiv, form interface, contact.