On the Decidability of the Equivalence for k-Valued Transducers (Q3533016): 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.1007/978-3-540-85780-8_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1566080944
@@ Property / OpenAlex ID: W1566080944 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4910755
@@ Property / cites work: Q4910755 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposing a $k$-valued transducer into $k$ unambiguous ones
+Normal rank
@@ Property / cites work @@
+On the Decidability of Bounded Valuedness for Transducers
+Normal rank
@@ Property / cites work @@
+Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
+Normal rank
@@ Property / cites work @@
+A note on finite-valued and finitely ambiguous transducers
+Normal rank
@@ Property / cites work @@
+Multitape one-way nonwriting automata
@@ Property / cites work: Multitape one-way nonwriting automata / rank @@
+Normal rank
@@ Property / cites work @@
+The unsolvability of the Equivalence Problem for Λ-Free nondeterministic generalized machines
+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 @@
+Q4101446
@@ Property / cites work: Q4101446 / rank @@
+Normal rank
@@ Property / cites work @@
+Single-valued a-transducers
@@ Property / cites work: Single-valued a-transducers / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence of finite valued transducers (on HDT0L languages) is decidable
+Normal rank
@@ Property / cites work @@
+Decomposing Finite-Valued Transducers and Deciding Their Equivalence
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of decision problems for finite-turn multicounter machines
+Normal rank
@@ Property / cites work @@
+A construction on finite automata that has remained hidden
+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 @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3651209
@@ Property / cites work: Q3651209 / rank @@
+Normal rank