The Equivalence of Bottom-Up and Top-Dow
✍
Joost Engelfriet; Heiko Vogler
📂
Article
📅
1998
🏛
Elsevier Science
🌐
English
⚖ 979 KB
We introduce the bottom-up tree-to-graph transducer, which is very similar to the usual (total deterministic) bottom-up tree transducer except that it translates trees into hypergraphs rather than trees, using hypergraph substitution instead of tree substitution. If every output hypergraph of the tr