On the determinacy problem for two-way pushdown automata (Q1342261): Difference between revisions

@@ Property / cites work @@
+Variations on the technique of Ďuriš and Galil
@@ Property / cites work: Variations on the technique of Ďuriš and Galil / rank @@
+Normal rank
@@ Property / cites work @@
+Two-way pushdown automata
@@ Property / cites work: Two-way pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on looping deterministic two-way pushdown automata
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank