The power of two-way deterministic checking stack automata (Q1812540): Difference between revisions

@@ Property / cites work @@
+A general theory of translation
@@ Property / cites work: A general theory of translation / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of two-way deterministic classes of languages
+Normal rank
@@ Property / cites work @@
+Q4138161
@@ Property / cites work: Q4138161 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
+Normal rank
@@ Property / cites work @@
+Q3857722
@@ Property / cites work: Q3857722 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree transducers, L systems, and two-way machines
@@ Property / cites work: Tree transducers, L systems, and two-way machines / rank @@
+Normal rank
@@ Property / cites work @@
+Stack Machines and Classes of Nonnested Macro Languages
+Normal rank
@@ Property / cites work @@
+Extended macro grammars and stack controlled machines
+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 @@
+Visits, crosses, and reversals for nondeterministic off-line machines
+Normal rank
@@ Property / cites work @@
+One way finite visit automata
@@ Property / cites work: One way finite visit automata / rank @@
+Normal rank
@@ Property / cites work @@
+An Approach to a Unified Theory of Automata
@@ Property / cites work: An Approach to a Unified Theory of Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of some tape and time complexity classes of Turing machines in terms of multihead and auxiliary stack automata
+Normal rank
@@ Property / cites work @@
+Some characterizations of multihead finite automata
+Normal rank
@@ Property / cites work @@
+Q3707407
@@ Property / cites work: Q3707407 / rank @@
+Normal rank