One-way reversible multi-head finite automata (Q2358688): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2016.11.006
@@ Property / DOI: 10.1016/j.tcs.2016.11.006 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2016.11.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2553644099
@@ Property / OpenAlex ID: W2553644099 / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of Reversible Languages
@@ Property / cites work: Inference of Reversible Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+On non-determinacy in simple computing devices
@@ Property / cites work: On non-determinacy in simple computing devices / rank @@
+Normal rank
@@ Property / cites work @@
+On the Succinctness of Different Representations of Languages
+Normal rank
@@ Property / cites work @@
+Q3102144
@@ Property / cites work: Q3102144 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+One way multihead deterministic finite automata
@@ Property / cites work: One way multihead deterministic finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+THE PHENOMENON OF NON-RECURSIVE TRADE-OFFS
@@ Property / cites work: THE PHENOMENON OF NON-RECURSIVE TRADE-OFFS / rank @@
+Normal rank
@@ Property / cites work @@
+Fast reversible language recognition using cellular automata
+Normal rank
@@ Property / cites work @@
+Real-time reversible iterative arrays
@@ Property / cites work: Real-time reversible iterative arrays / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible pushdown automata
@@ Property / cites work: Reversible pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+Real-Time Reversible One-Way Cellular Automata
@@ Property / cites work: Real-Time Reversible One-Way Cellular Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Head and state hierarchies for unary multi-head finite automata
+Normal rank
@@ Property / cites work @@
+Set Automata
@@ Property / cites work: Set Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+Q4465339
@@ Property / cites work: Q4465339 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible computing and cellular automata -- a survey
+Normal rank
@@ Property / cites work @@
+Two-Way Reversible Multi-Head Finite Automata
@@ Property / cites work: Two-Way Reversible Multi-Head Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing algebraic process calculi
@@ Property / cites work: Reversing algebraic process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+On Multi-Head Finite Automata
@@ Property / cites work: On Multi-Head Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+One-way multihead writing finite automata
@@ Property / cites work: One-way multihead writing finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+<i>k</i>             + 1 Heads Are Better than             <i>k</i>
@@ Property / cites work: <i>k</i> + 1 Heads Are Better than <i>k</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Flowchart Languages and the Structured Reversible Program Theorem
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2016.11.006
@@ Property / DOI: 10.1016/J.TCS.2016.11.006 / rank @@
+Normal rank