Notes on looping deterministic two-way pushdown automata (Q1318758): Difference between revisions

@@ Property / cites work @@
+Time and tape complexity of pushdown automaton languages
+Normal rank
@@ Property / cites work @@
+Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
+Normal rank
@@ Property / cites work @@
+Two-way pushdown automata
@@ Property / cites work: Two-way pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+On efficient recognition of transductions and relations
+Normal rank
@@ Property / cites work @@
+Remarks on two-way automata with weak-counters
@@ Property / cites work: Remarks on two-way automata with weak-counters / rank @@
+Normal rank
@@ Property / cites work @@
+Halting space-bounded computations
@@ Property / cites work: Halting space-bounded computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636862
@@ Property / cites work: Q5636862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707408
@@ Property / cites work: Q3707408 / rank @@
+Normal rank