Streaming Ranked-Tree-to-String Transducers

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

Streaming tree transducers with single-use restriction (STTsurs) were introduced by Alur and D’Antoni as an analyzable, executable, and expressive model for transforming unranked ordered trees in a single pass. The equivalence problem of STTsurs is decidable because their class is as expressive as the class of MSO-definable tree transformations. In this paper, we present streaming ranked-tree-to-string transducers (SRTSTs), based on STTsurs: SRTSTs are released from the single-use restriction while their input and output are restricted to ranked trees and strings, respectively. We show that the expressiveness of SRTSTs coincides with that of deterministic top-down tree transducers with regular look-ahead (yDTRs), whose equivalence problem is known to be decidable. Our proof is done by constructing equivalent transducers in both directions.

Original languageEnglish
Title of host publicationImplementation and Application of Automata - 24th International Conference, CIAA 2019, Proceedings
EditorsMichal Hospodár, Galina Jirásková
PublisherSpringer Verlag
Pages235-247
Number of pages13
ISBN (Print)9783030236786
DOIs
Publication statusPublished - 2019
Event24th International Conference on Implementation and Application of Automata, CIAA 2019 - Košice, Slovakia
Duration: 2019 Jul 222019 Jul 25

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11601 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference24th International Conference on Implementation and Application of Automata, CIAA 2019
CountrySlovakia
CityKošice
Period19/7/2219/7/25

Keywords

  • Equivalence
  • Expressiveness
  • Ranked trees
  • Streaming transducers

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Streaming Ranked-Tree-to-String Transducers'. Together they form a unique fingerprint.

Cite this