Equivalence problems for transducers with a bounded number of states (Q1280978): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of transducers relative to regular languages
+Normal rank
@@ Property / cites work @@
+An undecidable problem for countable markov chains
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic two-tape automata
+Normal rank
@@ Property / cites work @@
+Q4366889
@@ Property / cites work: Q4366889 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1280978