Pages that link to "Item:Q801689"
From MaRDI portal
The following pages link to An extended direct branching algorithm for checking equivalence of deterministic pushdown automata (Q801689):
Displayed 5 items.
- A weaker sufficient condition for the equivalence of a pair of DPDA's to be decidable (Q1075060) (← links)
- A direct branching algorithm for checking the equivalence of two deterministic pushdown transducers, one of which is real-time strict (Q1124364) (← links)
- The extended equivalence problem for a class of non-real-time deterministic pushdown automata (Q1894681) (← links)
- Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines (Q5060068) (← links)
- A fast algorithm to decide on the equivalence of stateless DPDA (Q5286053) (← links)