Pages that link to "Item:Q1089810"
From MaRDI portal
The following pages link to Pushdown machines for the macro tree transducer (Q1089810):
Displaying 28 items.
- Basic tree transducers (Q579951) (← links)
- Look-ahead on pushdowns (Q579952) (← links)
- Branching synchronization grammars with nested tables (Q596320) (← links)
- Deterministic top-down tree transducers with iterated look-ahead (Q673068) (← links)
- Storage-to-tree transducers with look-ahead (Q706619) (← links)
- A complete rewriting system for a monoid of tree transformation classes (Q918216) (← links)
- High level tree transducers and iterated pushdown tree transducers (Q1096399) (← links)
- The OI-hierarchy is closed under control (Q1109578) (← links)
- Iterated stack automata and complexity classes (Q1183602) (← links)
- Top-down tree transducers with two-way tree walking look-ahead (Q1185007) (← links)
- An implementation of syntax directed functional programming on nested- stack machines (Q1194207) (← links)
- The equivalence of bottom-up and top-down tree-to-graph transducers (Q1271618) (← links)
- Synthesized and inherited functions. A new computational model for syntax-directed semantics (Q1338894) (← links)
- Transducers and the decidability of independence in free monoids (Q1341744) (← links)
- Complete formal systems for equivalence problems (Q1575907) (← links)
- \(L(A)=L(B)\)? decidability results from complete formal systems (Q1589483) (← links)
- Linear weighted tree automata with storage and inverse linear tree homomorphisms (Q2051842) (← links)
- Principal abstract families of weighted tree languages (Q2064529) (← links)
- XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles (Q2216430) (← links)
- Weighted automata with storage (Q2280328) (← links)
- Weighted iterated linear control (Q2422779) (← links)
- Word-mappings of level 2 (Q2441544) (← links)
- Iterated pushdown automata and sequences of rational numbers (Q2498918) (← links)
- (Q3384165) (← links)
- (Q3386623) (← links)
- Iterated linear control and iterated one-turn pushdowns (Q3776663) (← links)
- A hierarchy of deterministic top-down tree transformations (Q4866680) (← links)
- Tree-stack automata (Q4879207) (← links)
