On equivalence of grammars through transformation trees (Q1259173): Difference between revisions

@@ Property / cites work @@
+Q3292904
@@ Property / cites work: Q3292904 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4772720
@@ Property / cites work: Q4772720 / rank @@
+Normal rank
@@ Property / cites work @@
+The inclusion problem for simple languages
@@ Property / cites work: The inclusion problem for simple languages / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms of deterministic grammars
@@ Property / cites work: Normal forms of deterministic grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic context free languages
@@ Property / cites work: Deterministic context free languages / rank @@
+Normal rank
@@ Property / cites work @@
+A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
+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 the equivalence and containment problems for context-free languages
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+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 @@
+Properties of deterministic top-down grammars
@@ Property / cites work: Properties of deterministic top-down grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085271
@@ Property / cites work: Q4085271 / rank @@
+Normal rank
@@ Property / cites work @@
+A result on the equivalence problem for deterministic pushdown automata
+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