A simple undecidable problem: the inclusion problem for finite substitutions on \(ab^* c\) (Q1887138): Difference between revisions

@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+The commutation of finite sets: A challenging problem
+Normal rank
@@ Property / cites work @@
+Undecidability of the equivalence of finite substitutions on regular language
+Normal rank
@@ Property / cites work @@
+On the equivalence problem for binary DOL systems
@@ Property / cites work: On the equivalence problem for binary DOL systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941151
@@ Property / cites work: Q4941151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737210
@@ Property / cites work: Q4737210 / rank @@
+Normal rank
@@ Property / cites work @@
+Conway's problem for three-word sets.
@@ Property / cites work: Conway's problem for three-word sets. / rank @@
+Normal rank
@@ Property / cites work @@
+An undecidable problem for countable markov chains
+Normal rank
@@ Property / cites work @@
+The equivalence problem for finite substitutions in a regular language
+Normal rank
@@ Property / cites work @@
+Equivalence problems for transducers with a bounded number of states
+Normal rank
@@ Property / cites work @@
+On the equivalence of some transductions involving letter to letter morphisms on regular languages
+Normal rank
@@ Property / cites work @@
+Q4140407
@@ Property / cites work: Q4140407 / rank @@
+Normal rank
@@ Property / cites work @@
+On some transducer equivalence problems for families of languages
+Normal rank
@@ Property / cites work @@
+The undecidability of some equivalence problems concerning ngsm's and finite substitutions
+Normal rank