On the equivalence problem for deterministic multitape automata and transducers (Q5096179): Difference between revisions

@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic two-tape automata
+Normal rank
@@ Property / cites work @@
+A Purely Homomorphic Characterization of Recursively Enumerable Sets
+Normal rank
@@ Property / cites work @@
+Systems of equations over a free monoid and Ehrenfeucht's conjecture
+Normal rank
@@ Property / cites work @@
+The equivalence of finite valued transducers (on HDT0L languages) is decidable
+Normal rank
@@ Property / cites work @@
+Q3793751
@@ Property / cites work: Q3793751 / rank @@
+Normal rank
@@ Property / cites work @@
+Loops in automata and HDTOL relations
@@ Property / cites work: Loops in automata and HDTOL relations / rank @@
+Normal rank
@@ Property / cites work @@
+HDTOL matching of computations of multitape automata
+Normal rank
@@ Property / cites work @@
+On the decidability of homomorphism equivalence for languages
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+The inclusion problem for some classes of deterministic multitape automata
+Normal rank
@@ Property / cites work @@
+Q4991691
@@ Property / cites work: Q4991691 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4746787
@@ Property / cites work: Q4746787 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic finite-turn pushdown automata
+Normal rank