A direct branching algorithm for checking equivalence of strict deterministic vs. LL(k) grammars (Q1838320): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization of LR(k) parsers
@@ Property / cites work: Optimization of LR(k) parsers / rank @@
+Normal rank
@@ Property / cites work @@
+An improvement on Valiant's decision procedure for equivalence of deterministic finite turn pushdown machines
+Normal rank
@@ Property / cites work @@
+Superdeterministic DPDAs: The method of accepting does affect decision problems
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+Real-Time Strict Deterministic Languages
@@ Property / cites work: Real-Time Strict Deterministic Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Strict deterministic grammars
@@ Property / cites work: Strict deterministic grammars / rank @@
+Normal rank
@@ Property / cites work @@
+On the Parsing of Deterministic Languages
@@ Property / cites work: On the Parsing of Deterministic Languages / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalence of grammars through transformation trees
+Normal rank
@@ Property / cites work @@
+Q4072875
@@ Property / cites work: Q4072875 / rank @@
+Normal rank
@@ Property / cites work @@
+Two decidability results for deterministic pushdown automata
+Normal rank
@@ Property / cites work @@
+A direct algorithm for checking equivalence of LL(k) grammars
+Normal rank
@@ Property / cites work @@
+The decidability of equivalence for deterministic stateless pushdown automata
+Normal rank
@@ Property / cites work @@
+The equivalence problem for real-time strict deterministic languages
+Normal rank
@@ Property / cites work @@
+Properties of deterministic top-down grammars
@@ Property / cites work: Properties of deterministic top-down grammars / rank @@
+Normal rank
@@ Property / cites work @@
+A result on the equivalence problem for deterministic pushdown automata
+Normal rank
@@ Property / cites work @@
+A direct branching algorithm for checking equivalence of some classes of deterministic pushdown automata
+Normal rank
@@ Property / cites work @@
+Optimality of a Two-Phase Strategy for Routing in Interconnection Networks
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic finite-turn pushdown automata
+Normal rank
@@ Property / cites work @@
+Deterministic one-counter automata
@@ Property / cites work: Deterministic one-counter automata / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on the KH algorithm fors-grammars
@@ Property / cites work: Some remarks on the KH algorithm fors-grammars / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1838320