Pages that link to "Item:Q1062450"
From MaRDI portal
The following pages link to Decidability of the equivalence problem for synchronous deterministic pushdown-store automata (Q1062450):
Displaying 6 items.
- Some results on subclass containment problems for special classes of dpda's related to nonsingular machines (Q1060563) (← links)
- The extended equivalence problem for a class of non-real-time deterministic pushdown automata (Q1894681) (← links)
- On the decidability of the PVD class with equality (Q2743641) (← links)
- A direct branching algorithm for checking equivalence of some classes of deterministic pushdown automata (Q3327736) (← links)
- The equivalence problem for deterministic pushdown automata is decidable (Q4571996) (← links)
- Equivalences of Pushdown Systems Are Hard (Q5410661) (← links)