Undecidability of the speed positiveness problem in reversible and complete Turing machines (Q2040026): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2021.04.007
+Normal rank
@@ Property / OpenAlex ID @@
+W3163342729
@@ Property / OpenAlex ID: W3163342729 / rank @@
+Normal rank
@@ Property / cites work @@
+On topological dynamics of Turing machines
@@ Property / cites work: On topological dynamics of Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+One head machines from a symbolic approach
@@ Property / cites work: One head machines from a symbolic approach / rank @@
+Normal rank
@@ Property / cites work @@
+On the presence of periodic configurations in Turing machines and in counter machines.
+Normal rank
@@ Property / cites work @@
+Periodicity and Immortality in Reversible Computing
+Normal rank
@@ Property / cites work @@
+A small minimal aperiodic reversible Turing machine
+Normal rank
@@ Property / cites work @@
+Computability of the entropy of one-tape Turing Machines
+Normal rank
@@ Property / cites work @@
+The Transitivity Problem of Turing Machines
@@ Property / cites work: The Transitivity Problem of Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-periodic configurations and undecidable dynamics for tilings, infinite words and Turing machines
+Normal rank
@@ Property / cites work @@
+Q3455042
@@ Property / cites work: Q3455042 / rank @@
+Normal rank
@@ Property / cites work @@
+Distortion in one-head machines and cellular automata
+Normal rank
@@ Property / cites work @@
+One-tape, off-line Turing machine computations
@@ Property / cites work: One-tape, off-line Turing machine computations / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the Turing machine immortality problem
+Normal rank
@@ Property / cites work @@
+On Immortal Configurations in Turing Machines
@@ Property / cites work: On Immortal Configurations in Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine
+Normal rank
@@ Property / cites work @@
+Universality of a reversible two-counter machine
@@ Property / cites work: Universality of a reversible two-counter machine / rank @@
+Normal rank
@@ Property / cites work @@
+Q3108337
@@ Property / cites work: Q3108337 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2711810
@@ Property / cites work: Q2711810 / rank @@
+Normal rank