Pages that link to "Item:Q1641005"
From MaRDI portal
The following pages link to Decision problems of tree transducers with origin (Q1641005):
Displaying 5 items.
- Decidability of the finiteness of ranges of tree transductions (Q1271464) (← links)
- One-way resynchronizability of word transducers (Q2233399) (← links)
- Deciding origin equivalence of weakly self-nesting macro tree transducers (Q2680223) (← links)
- A survey on decidable equivalence problems for tree transducers (Q2800413) (← links)
- Origin-equivalence of two-way word transducers is in PSPACE (Q5090958) (← links)