Pages that link to "Item:Q1152220"

The following pages link to The simultaneous accessibility of two configurations of two equivalent DPDA's (Q1152220):

Displaying 2 items.

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