Downloads provided by UsageCounts
arXiv: 1309.1779
handle: 11441/64222 , 2445/106693
We look at small Turing machines (TMs) that work with just two colors (alphabet symbols) and either two or three states. For any particular such machineτand any particular inputx, we consider what we call thespace-timediagram which is basically the collection of consecutive tape configurations of the computationτ(x). In our setting, it makes sense to define a fractal dimension for a Turing machine as the limiting fractal dimension for the corresponding space-time diagrams. It turns out that there is a very strong relation between the fractal dimension of a Turing machine of the above-specified type and its runtime complexity. In particular, a TM with three states and two colors runs in at most linear time, if and only if its dimension is 2, and its dimension is 1, if and only if it runs in superpolynomial time and it uses polynomial space. If a TM runs in timeO(xn), we have empirically verified that the corresponding dimension is(n+1)/n, a result that we can only partially prove. We find the results presented here remarkable because they relate two completely different complexity measures: the geometrical fractal dimension on one side versus the time complexity of a computation on the other side.
FOS: Computer and information sciences, Physics, QC1-999, Analysis of algorithms and problem complexity, Models of computation (Turing machines, etc.), Computational Complexity (cs.CC), Lògica matemàtica, Computer Science - Computational Complexity, Fractals, Philosophy of mathematics, Mathematical logic, Turing, Alan Mathison, 1912-1954, Filosofia de la matemàtica
FOS: Computer and information sciences, Physics, QC1-999, Analysis of algorithms and problem complexity, Models of computation (Turing machines, etc.), Computational Complexity (cs.CC), Lògica matemàtica, Computer Science - Computational Complexity, Fractals, Philosophy of mathematics, Mathematical logic, Turing, Alan Mathison, 1912-1954, Filosofia de la matemàtica
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 14 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
| views | 81 | |
| downloads | 51 |

Views provided by UsageCounts
Downloads provided by UsageCounts