New techniques for proving the decidability of equivalence problem (Q913523): Difference between revisions

@@ Property / author @@
-Karel II Culik
@@ Property / author: Karel II Culik / rank @@
-Normal rank
@@ Property / author @@
+Karel II Culik
@@ Property / author: Karel II Culik / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Test sets for context free languages and algebraic systems of equations over a free monoid
+Normal rank
@@ Property / cites work @@
+Test sets for finite substitutions
@@ Property / cites work: Test sets for finite substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of Ehrenfeucht's conjecture
@@ Property / cites work: A proof of Ehrenfeucht's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q3292904
@@ Property / cites work: Q3292904 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic two-tape automata
+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 @@
+Some decidability results about regular and pushdown translations
+Normal rank
@@ Property / cites work @@
+The decidability of the equivalence problem for DOL-systems
+Normal rank
@@ Property / cites work @@
+Systems of equations over a free monoid and Ehrenfeucht's conjecture
+Normal rank
@@ Property / cites work @@
+Q3711770
@@ Property / cites work: Q3711770 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3782819
@@ Property / cites work: Q3782819 / rank @@
+Normal rank
@@ Property / cites work @@
+The Equivalence Problem for Single-Valued Two-Way Transducers (on NPDTOL Languages) is Decidable
+Normal rank
@@ Property / cites work @@
+The equivalence of finite valued transducers (on HDT0L languages) is decidable
+Normal rank
@@ Property / cites work @@
+Synchronizable deterministic pushdown automata and the decidability of their equivalence
+Normal rank
@@ Property / cites work @@
+Loops in automata and HDTOL relations
@@ Property / cites work: Loops in automata and HDTOL relations / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability of homomorphism equivalence for languages
+Normal rank
@@ Property / cites work @@
+Test sets and checking words for homomorphism equivalence
+Normal rank
@@ Property / cites work @@
+The inclusion problem for simple languages
@@ Property / cites work: The inclusion problem for simple languages / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence problems for deterministic context-free languages and monadic recursion schemes
+Normal rank
@@ Property / cites work @@
+Multitape one-way nonwriting automata
@@ Property / cites work: Multitape one-way nonwriting automata / rank @@
+Normal rank
@@ Property / cites work @@
+Some Recursively Unsolvable Problems in ALGOL-Like Languages
+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 @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalence of grammars through transformation trees
+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 decidability of equivalence for deterministic pushdown transducers
+Normal rank
@@ Property / cites work @@
+Complete problems for deterministic polynomial time
+Normal rank
@@ Property / cites work @@
+The Ehrenfeucht conjecture: A compactness claim for finitely generated free monoids
+Normal rank
@@ Property / cites work @@
+Q3782812
@@ Property / cites work: Q3782812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3769982
@@ Property / cites work: Q3769982 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817618
@@ Property / cites work: Q3817618 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3736916
@@ Property / cites work: Q3736916 / rank @@
+Normal rank
@@ Property / cites work @@
+The inclusion problem for some classes of deterministic multitape automata
+Normal rank
@@ Property / cites work @@
+On the translation of languages from left to right
+Normal rank
@@ Property / cites work @@
+Q4072875
@@ Property / cites work: Q4072875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430289
@@ Property / cites work: Q4430289 / rank @@
+Normal rank
@@ Property / cites work @@
+THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
+Normal rank
@@ Property / cites work @@
+Q3239817
@@ Property / cites work: Q3239817 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for real-time DPDAs
@@ Property / cites work: The equivalence problem for real-time DPDAs / rank @@
+Normal rank
@@ Property / cites work @@
+The decidability of equivalence for deterministic stateless pushdown automata
+Normal rank
@@ Property / cites work @@
+The equivalence problem for real-time strict deterministic languages
+Normal rank
@@ Property / cites work @@
+The Ehrenfeucht conjecture: An algebra-framework for its proof
+Normal rank
@@ Property / cites work @@
+Q5541339
@@ Property / cites work: Q5541339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4140407
@@ Property / cites work: Q4140407 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of deterministic top-down grammars
@@ Property / cites work: Properties of deterministic top-down grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4101446
@@ Property / cites work: Q4101446 / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness properties of matrix representations
@@ Property / cites work: Finiteness properties of matrix representations / rank @@
+Normal rank
@@ Property / cites work @@
+A direct branching algorithm for checking equivalence of strict deterministic vs. LL(k) grammars
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic finite-turn pushdown automata
+Normal rank
@@ Property / cites work @@
+Deterministic one-counter automata
@@ Property / cites work: Deterministic one-counter automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4727438
@@ Property / cites work: Q4727438 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:913523