Equivalence Checking Problem for Finite State Transducers over Semigroups (Q2947161): Difference between revisions

@@ Property / cites work @@
+Streaming transducers for algorithmic verification of single-pass list-processing programs
+Normal rank
@@ Property / cites work @@
+Single-valued a-transducers
@@ Property / cites work: Single-valued a-transducers / rank @@
+Normal rank
@@ Property / cites work @@
+The decidability of equivalence for deterministic finite transducers
+Normal rank
@@ Property / cites work @@
+Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
+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 @@
+A note on finite-valued and finitely ambiguous transducers
+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 @@
+Symbolic finite state transducers
@@ Property / cites work: Symbolic finite state transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4910755
@@ Property / cites work: Q4910755 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decidability of Bounded Valuedness for Transducers
+Normal rank
@@ Property / cites work @@
+Q4101446
@@ Property / cites work: Q4101446 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decidability of the Equivalence for k-Valued Transducers
+Normal rank
@@ Property / cites work @@
+On the valuedness of finite transducers
@@ Property / cites work: On the valuedness of finite transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposing Finite-Valued Transducers and Deciding Their Equivalence
+Normal rank