An \(n^2\)-bound for the ultimate equivalence problem of certain D0L systems over an \(n\)-letter alphabet (Q2575836): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2005.05.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2008147160
@@ Property / OpenAlex ID: W2008147160 / rank @@
+Normal rank
@@ Property / cites work @@
+Deux propriétés décidables des suites récurrentes linéaires
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+The ultimate equivalence problem for DOL systems
@@ Property / cites work: The ultimate equivalence problem for DOL systems / rank @@
+Normal rank
@@ Property / cites work @@
+The decidability of the equivalence problem for DOL-systems
+Normal rank
@@ Property / cites work @@
+Q3711770
@@ Property / cites work: Q3711770 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplifications of homomorphisms
@@ Property / cites work: Simplifications of homomorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary homomorphisms and a solution of the DOL sequence equivalence problem
+Normal rank
@@ Property / cites work @@
+Every two equivalent DOL systems have a regular true envelope
+Normal rank
@@ Property / cites work @@
+On a bound for the DOL sequence equivalence problem
+Normal rank
@@ Property / cites work @@
+A short solution for the HDT0L sequence equivalence problem
+Normal rank
@@ Property / cites work @@
+The equivalence problem of polynomially bounded D0L systems -- a bound depending only on the size of the alphabet
+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 @@
+Q4140407
@@ Property / cites work: Q4140407 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753495
@@ Property / cites work: Q3753495 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank