ON STATELESS TWO-PUSHDOWN AUTOMATA AND RESTARTING AUTOMATA (Q3056279): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Growing context-sensitive languages and Church-Rosser languages
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bound technique for length-reducing automata
+Normal rank
@@ Property / cites work @@
+Algebraic decision procedures for local testability
+Normal rank
@@ Property / cites work @@
+The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages
+Normal rank
@@ Property / cites work @@
+Computing with membranes
@@ Property / cites work: Computing with membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Locally testable languages
@@ Property / cites work: Locally testable languages / rank @@
+Normal rank