Streaming ranked-tree-to-string transducers

DOI10.1007/978-3-030-23679-3_19MaRDI QIDQ5918805zbMATH OpenOpenAlexFDO

Authors Yuta Takahashi, Kazuyuki Asada, Keisuke Nakano

Publication date 6 May 2020

Published in Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-23679-3_19

zbMATH Keywords

equivalenceexpressivenessranked treesstreaming transducers

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Streaming ranked-tree-to-string transducers
• Expressiveness of streaming string transducers
• Nondeterministic Streaming String Transducers

Cited in

(4)

• Nondeterministic Streaming String Transducers
• Translation of tree-processing programs into stream-processing programs based on ordered linear type
• Streaming transducers for algorithmic verification of single-pass list-processing programs
• Streaming ranked-tree-to-string transducers

This page was built for publication: Streaming ranked-tree-to-string transducers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5918805)