Pages that link to "Item:Q1124364"
From MaRDI portal
The following pages link to A direct branching algorithm for checking the equivalence of two deterministic pushdown transducers, one of which is real-time strict (Q1124364):
Displaying 5 items.
- Nivat's theorem for pushdown transducers (Q1193872) (← links)
- On transductions of formal power series over complete semirings (Q1194315) (← links)
- \(L(A)=L(B)\)? decidability results from complete formal systems (Q1589483) (← links)
- The extended equivalence problem for a class of non-real-time deterministic pushdown automata (Q1894681) (← links)
- Equivalence of Linear Tree Transducers with Output in the Free Group (Q5041262) (← links)
