Simulation of Turing machines by a regular rewrite rule (Q1199548): Difference between revisions

@@ Property / cites work @@
+Thue systems as rewriting systems
@@ Property / cites work: Thue systems as rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795205
@@ Property / cites work: Q3795205 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation of Turing machines by a left-linear rewrite rule
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted graphs: A tool for studying the halting problem and time complexity in term rewriting systems and logic programming
+Normal rank