Storage-to-tree transducers with look-ahead

DOI10.1016/J.TCS.2004.08.007MaRDI QIDQ706619zbMATH OpenOpenAlexFDO

Authors Tamás Hornung, Sándor Vágvölgyi

Publication date 9 February 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2004.08.007

zbMATH Keywords

Look-aheadStorage typeTransducerTree grammar

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Algebraic theory of languages and automata (68Q70)

Recommendations

• Top-down tree transducers with two-way tree walking look-ahead
• Macro tree transducers
• Variants of top-down tree transducers with look-ahead
• Look-ahead removal for total deterministic top-down tree transducers
• Deterministic top-down tree transducers with iterated look-ahead

Cites work

• scientific article; zbMATH DE number 17541 (Why is no real title available?)
• scientific article; zbMATH DE number 3615891 (Why is no real title available?)
• A comparison of tree transductions defined by monadic second order logic and by attribute grammars
• Deterministic top-down tree transducers with iterated look-ahead
• Look-ahead on pushdowns
• Macro tree transducers
• Pushdown machines for the macro tree transducer
• Top-down tree transducers with deterministic top-down look-ahead
• Top-down tree transducers with regular look-ahead
• Top-down tree transducers with two-way tree walking look-ahead

Cited in

(1)

• Reasoning about Translation Lookaside Buffers

This page was built for publication: Storage-to-tree transducers with look-ahead

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