Finite-turn checking automata (Q2550634): Difference between revisions

@@ Property / cites work @@
+Multitape one-way nonwriting automata
@@ Property / cites work: Multitape one-way nonwriting automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Studies in abstract families of languages
@@ Property / cites work: Studies in abstract families of languages / rank @@
+Normal rank
@@ Property / cites work @@
+One-way stack automata
@@ Property / cites work: One-way stack automata / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-Turn Pushdown Automata
@@ Property / cites work: Finite-Turn Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+The Unsolvability of the Recognition of Linear Context-Free Languages
+Normal rank
@@ Property / cites work @@
+Checking automata and one-way stack languages
@@ Property / cites work: Checking automata and one-way stack languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple matrix languages
@@ Property / cites work: Simple matrix languages / rank @@
+Normal rank
@@ Property / cites work @@
+On equal matrix languages
@@ Property / cites work: On equal matrix languages / rank @@
+Normal rank
@@ Property / cites work @@
+A Characterization of Semilinear Sets
@@ Property / cites work: A Characterization of Semilinear Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Unambiguous equal matrix languages
@@ Property / cites work: Unambiguous equal matrix languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5647882
@@ Property / cites work: Q5647882 / rank @@
+Normal rank