A hierarchy of monotone deterministic non-forgetting restarting automata (Q633765): Difference between revisions

@@ Property / cites work @@
+Growing context-sensitive languages and Church-Rosser languages
+Normal rank
@@ Property / cites work @@
+LR-regular grammars - an extension of LR(k) grammars
+Normal rank
@@ Property / cites work @@
+Membership for growing context-sensitive grammars is polynomial
+Normal rank
@@ Property / cites work @@
+Q4934755
@@ Property / cites work: Q4934755 / rank @@
+Normal rank
@@ Property / cites work @@
+Restarting automata with restricted utilization of auxiliary symbols
+Normal rank
@@ Property / cites work @@
+SHRINKING RESTARTING AUTOMATA
@@ Property / cites work: SHRINKING RESTARTING AUTOMATA / rank @@
+Normal rank
@@ Property / cites work @@
+Developments in Language Theory
@@ Property / cites work: Developments in Language Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of non-monotonicity for restarting automata
+Normal rank
@@ Property / cites work @@
+Church-Rosser Thue systems and formal languages
@@ Property / cites work: Church-Rosser Thue systems and formal languages / rank @@
+Normal rank
@@ Property / cites work @@
+On Nonforgetting Restarting Automata That Are Deterministic and/or Monotone
+Normal rank
@@ Property / cites work @@
+COOPERATING DISTRIBUTED SYSTEMS OF RESTARTING AUTOMATA
+Normal rank
@@ Property / cites work @@
+ON DETERMINISTIC CD-SYSTEMS OF RESTARTING AUTOMATA
+Normal rank
@@ Property / cites work @@
+The uniform conjugacy problem for finite church—Rosser thue systems is NP-complete
+Normal rank
@@ Property / cites work @@
+The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages
+Normal rank
@@ Property / cites work @@
+Q4452052
@@ Property / cites work: Q4452052 / rank @@
+Normal rank
@@ Property / cites work @@
+Left-to-right regular languages and two-way restarting automata
+Normal rank
@@ Property / cites work @@
+Q4474000
@@ Property / cites work: Q4474000 / rank @@
+Normal rank