Synchronizable deterministic pushdown automata and the decidability of their equivalence (Q1822521): Difference between revisions

@@ Property / author @@
+Juhani Karhumäki
@@ Property / author: Juhani Karhumäki / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Test sets for context free languages and algebraic systems of equations over a free monoid
+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 @@
+Q3912007
@@ Property / cites work: Q3912007 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of equations over a free monoid and Ehrenfeucht's conjecture
+Normal rank
@@ Property / cites work @@
+On the decidability of homomorphism equivalence for languages
+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 @@
+On equivalence of grammars through transformation trees
+Normal rank
@@ Property / cites work @@
+On the decidability of equivalence for deterministic pushdown transducers
+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 strict deterministic vs. LL(k) grammars
+Normal rank
@@ Property / cites work @@
+A direct branching algorithm for checking equivalence of some classes of 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