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

@@ Property / author @@
-Vladimir A. Zakharov
@@ Property / author: Vladimir A. Zakharov / rank @@
-Normal rank
@@ Property / author @@
+Vladimir A. Zakharov
@@ Property / author: Vladimir A. Zakharov / 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.1007/978-3-319-23021-4_19
+Normal rank
@@ Property / OpenAlex ID @@
+W2261362537
@@ Property / OpenAlex ID: W2261362537 / rank @@
+Normal rank
@@ 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