Pages that link to "Item:Q1165588"

The following pages link to A hierarchy of real-time deterministic languages and their equivalence (Q1165588):

Displaying 2 items.

• An extended direct branching algorithm for checking equivalence of deterministic pushdown automata (Q801689) (← links)
• The extended equivalence problem for a class of non-real-time deterministic pushdown automata (Q1894681) (← links)