Pages that link to "Item:Q4055220"
From MaRDI portal
The following pages link to Some remarks on the KH algorithm fors-grammars (Q4055220):
Displaying 6 items.
- An extended direct branching algorithm for checking equivalence of deterministic pushdown automata (Q801689) (← links)
- Superdeterministic DPDAs: The method of accepting does affect decision problems (Q1132642) (← links)
- The equivalence problem for LL- and LR-regular grammars (Q1162821) (← links)
- On equivalence of grammars through transformation trees (Q1259173) (← links)
- Synchronizable deterministic pushdown automata and the decidability of their equivalence (Q1822521) (← links)
- A direct branching algorithm for checking equivalence of strict deterministic vs. LL(k) grammars (Q1838320) (← links)