Pages that link to "Item:Q1075060"

The following pages link to A weaker sufficient condition for the equivalence of a pair of DPDA's to be decidable (Q1075060):

Displaying 2 items.

• 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)