Some decision problems about controlled rewriting systems (Q910246): Difference between revisions

@@ Property / cites work @@
+Optimization of LR(k) parsers
@@ Property / cites work: Optimization of LR(k) parsers / 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 @@
+On the complexity of some extended word problems defined by cancellation rules
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+NTS languages are deterministic and congruential
@@ Property / cites work: NTS languages are deterministic and congruential / rank @@
+Normal rank
@@ Property / cites work @@
+Thue systems as rewriting systems
@@ Property / cites work: Thue systems as rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic Thue systems
@@ Property / cites work: Monadic Thue systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5181346
@@ Property / cites work: Q5181346 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4176990
@@ Property / cites work: Q4176990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880295
@@ Property / cites work: Q3880295 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3964028
@@ Property / cites work: Q3964028 / rank @@
+Normal rank
@@ Property / cites work @@
+Une généralisation des ensembles de Dyck
@@ Property / cites work: Une généralisation des ensembles de Dyck / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132170
@@ Property / cites work: Q4132170 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Pushdown Store Automata and Regular Systems
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+On the regular equivalence problem for regular Thue systems
+Normal rank
@@ Property / cites work @@
+Q4105657
@@ Property / cites work: Q4105657 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite regular Thue systems
@@ Property / cites work: Infinite regular Thue systems / rank @@
+Normal rank
@@ Property / cites work @@
+Some undecidability results for non-monadic Church-Rosser Thue systems
+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 and inclusion problems for NTS languages
+Normal rank
@@ Property / cites work @@
+Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages
+Normal rank
@@ Property / cites work @@
+A characterisation of deterministic context-free languages by means of right-congruences
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic finite-turn pushdown automata
+Normal rank