\(L(A)=L(B)\)? decidability results from complete formal systems (Q1589483): Difference between revisions

@@ Property / author @@
-Géraud Sénizergues
@@ Property / author: Géraud Sénizergues / rank @@
-Normal rank
@@ Property / author @@
+Géraud Sénizergues
@@ Property / author: Géraud Sénizergues / 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 @@
+Q4385528
@@ Property / cites work: Q4385528 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of bisimulation equivalence for process generating context-free languages
+Normal rank
@@ Property / cites work @@
+Graph expressions and graph rewritings
@@ Property / cites work: Graph expressions and graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+An improvement on Valiant's decision procedure for equivalence of deterministic finite turn pushdown machines
+Normal rank
@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3853135
@@ Property / cites work: Q3853135 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5720480
@@ Property / cites work: Q5720480 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5526125
@@ Property / cites work: Q5526125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+A representation of trees by languages. I
@@ Property / cites work: A representation of trees by languages. I / rank @@
+Normal rank
@@ Property / cites work @@
+A representation of trees by languages. II
@@ Property / cites work: A representation of trees by languages. II / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to the Korenjak-Hopcroft algorithms
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs, II: Infinite graphs of bounded width
+Normal rank
@@ Property / cites work @@
+Q4385531
@@ Property / cites work: Q4385531 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. IV: Definability properties of equational graphs
+Normal rank
@@ Property / cites work @@
+Synchronizable deterministic pushdown automata and the decidability of their equivalence
+Normal rank
@@ Property / cites work @@
+The IO- and OI-hierarchies
@@ Property / cites work: The IO- and OI-hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown machines for the macro tree transducer
@@ Property / cites work: Pushdown machines for the macro tree transducer / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence problems for deterministic context-free languages and monadic recursion schemes
+Normal rank
@@ Property / cites work @@
+A Polynomial Time Algorithm for Deciding the Equivalence Problem for 2-Tape Deterministic Finite State Acceptors
+Normal rank
@@ Property / cites work @@
+DPDA's in 'Atomic normal form' and applications to equivalence problems
+Normal rank
@@ Property / cites work @@
+<i>n</i>-Rational Algebras I. Basic Properties and Free Algebras
+Normal rank
@@ Property / cites work @@
+Q4146243
@@ Property / cites work: Q4146243 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic context free languages
@@ Property / cites work: Deterministic context free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Two Families of Languages Related to ALGOL
@@ Property / cites work: Two Families of Languages Related to ALGOL / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem of multitape finite automata
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalence of grammars through transformation trees
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for deciding bisimilarity of normed context-free processes
+Normal rank
@@ Property / cites work @@
+Q5517672
@@ Property / cites work: Q5517672 / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability of equivalence for deterministic pushdown transducers
+Normal rank
@@ Property / cites work @@
+Bisimulation equivalence is decidable for one-counter processes
+Normal rank
@@ Property / cites work @@
+Regular expressions and the equivalence of programs
+Normal rank
@@ Property / cites work @@
+On the translation of languages from left to right
+Normal rank
@@ Property / cites work @@
+On formalised computer programs
@@ Property / cites work: On formalised computer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134981
@@ Property / cites work: Q4134981 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for real-time strict deterministic pushdown automata
+Normal rank
@@ Property / cites work @@
+Decidability of the equivalence problem for deterministic pushdown automata
+Normal rank
@@ Property / cites work @@
+Equivalences on program schemes
@@ Property / cites work: Equivalences on program schemes / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for LL- and LR-regular grammars
+Normal rank
@@ Property / cites work @@
+Q4116078
@@ Property / cites work: Q4116078 / rank @@
+Normal rank
@@ Property / cites work @@
+On deciding the confluence of a finite string-rewriting system on a given congruence class
+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 equivalence problem for real-time strict deterministic languages
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3947147
@@ Property / cites work: Q3947147 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for real-time deterministic pushdown automata
+Normal rank
@@ Property / cites work @@
+Program equivalence and context-free grammars
@@ Property / cites work: Program equivalence and context-free grammars / 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 @@
+On Ianov's Program Schemata
@@ Property / cites work: On Ianov's Program Schemata / rank @@
+Normal rank
@@ Property / cites work @@
+On context-free languages and push-down automata
@@ Property / cites work: On context-free languages and push-down automata / rank @@
+Normal rank
@@ Property / cites work @@
+Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages
+Normal rank
@@ Property / cites work @@
+Some decision problems about controlled rewriting systems
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic pushdown automata is decidable
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm testing partial confluence of basic semi-Thue systems
+Normal rank
@@ Property / cites work @@
+Decidability of bisimulation equivalence for normed pushdown processes
+Normal rank
@@ Property / cites work @@
+A direct branching algorithm for checking the equivalence of two deterministic pushdown transducers, one of which is real-time strict
+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 @@
+Iterated linear control and iterated one-turn pushdowns
+Normal rank
@@ Property / Wikidata QID @@
+Q56386810
@@ Property / Wikidata QID: Q56386810 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/tcs/Senizergues01
@@ Property / DBLP publication ID: journals/tcs/Senizergues01 / rank @@
+Normal rank