On the containment and equivalence problems for two-way transducers (Q418777): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6039171
@@ Property / zbMATH DE Number: 6039171 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+two-way transducer
@@ Property / zbMATH Keywords: two-way transducer / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+containment problem
@@ Property / zbMATH Keywords: containment problem / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+equivalence problem
@@ Property / zbMATH Keywords: equivalence problem / rank @@
+Normal rank
@@ 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.tcs.2011.12.034
+Normal rank
@@ Property / OpenAlex ID @@
+W2084335565
@@ Property / OpenAlex ID: W2084335565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908833
@@ Property / cites work: Q2908833 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic Streaming String Transducers
@@ Property / cites work: Nondeterministic Streaming String Transducers / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence of finite valued transducers (on HDT0L languages) is decidable
+Normal rank
@@ Property / cites work @@
+The unsolvability of the Equivalence Problem for Λ-Free nondeterministic generalized machines
+Normal rank
@@ Property / cites work @@
+The Equivalence Problem for Deterministic Two-Way Sequential Transducers is Decidable
+Normal rank
@@ Property / cites work @@
+The complexity of decision problems for finite-turn multicounter machines
+Normal rank
@@ Property / cites work @@
+A note on finite-valued and finitely ambiguous transducers
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+The Unsolvability of the Equivalence Problem for $\varepsilon $-Free NGSM’s with Unary Input (Output) Alphabet and Applications
+Normal rank
@@ Property / cites work @@
+On the universe, disjointness, and containment problems for simple machines
+Normal rank
@@ Property / cites work @@
+Q5740422
@@ Property / cites work: Q5740422 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposing Finite-Valued Transducers and Deciding Their Equivalence
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:418777