Pages that link to "Item:Q1894681"

The following pages link to The extended equivalence problem for a class of non-real-time deterministic pushdown automata (Q1894681):

Displaying 7 items.

• New families of non real time dpda's and their decidability results (Q799385) (← links)
• An extended direct branching algorithm for checking equivalence of deterministic pushdown automata (Q801689) (← links)
• Some results on subclass containment problems for special classes of dpda's related to nonsingular machines (Q1060563) (← 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)
• (Q3191604) (← links)
• On the Decidability of the Equivalence Problem for Monadic Recursive Programs (Q4508638) (← links)