Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Halting State
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Nowadays, the enormous information has pulled in considerations from an ever-increasing number of specialists. The enormous… Expand
Is this relevant?
2017
2017
We present a complete and reversible Turing machine which is aperiodic.We prove that its associated dynamical system is time… Expand
Is this relevant?
2015
2015
Turing machines are equivalent to modern electronic computers at a certain theoretical level, but differ in many details. In the… Expand
Is this relevant?
2015
2015
This thesis addresses the concept of ekphrasis from a new perspective: in the context of digital graphics. The focus of this… Expand
Is this relevant?
2011
2011
This paper deals with the question: what are the key requirements for a physical system to perform digital computation? Time and… Expand
Is this relevant?
2010
2010
We study one-head machines through symbolic and topological dynamics. In particular, a subshift is associated to the subshift… Expand
Is this relevant?
2010
2010
We present here an elementary construction of an aperiodic tile set. Although there already exist dozens of examples of aperiodic… Expand
Is this relevant?
2004
2004
We study the orbits of reversible one-dimensional cellular automata. It is shown that the Turing degree structure of the orbits… Expand
Is this relevant?
1983
1983
Despite the broad constitutional' and statutory2 provisions granting federal diversity jurisdiction, the judiciary3 has created… Expand
Is this relevant?
1977
1977
Abstract A data space is a general mathematical model for data types with a dynamic component (procedures). It consists of a set… Expand
Is this relevant?