Halting State is a novel by Charles Stross, published in the United States on 2 October 2007 and in the United Kingdom in January 2008. Stross has… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Julien Cassaigne, Nicolas Ollinger, Rodrigo Torres-Avilés
- J. Comput. Syst. Sci.
- 2017

A simple reversible Turing machine with four states, three symbols and no halting configuration is constructed that has no… (More)

Is this relevant?

2015

2015

- Chetan Sharma, Rinku Shakya
- 2015 2nd International Conference on Computing…
- 2015

Turing machines are equivalent to modern electronic computers at a certain theoretical level, but differ in many details. In the… (More)

Is this relevant?

2007

2007

- Craig Alan Feinstein
- ArXiv
- 2007

In this brief note, we give a simple information-theoretic proof that 2-state 3-color universal Turing machines don’t exist. Let… (More)

Is this relevant?

Review

2004

Review

2004

- Klaus Sutner
- Theor. Comput. Sci.
- 2004

We study the orbits of reversible one-dimensional cellular automata. It is shown that the Turing degree structure of the orbits… (More)

Is this relevant?

2004

2004

A theory of one-tape linear-time Turing machines is quite different from its polynomial-time counterpart. This paper discusses… (More)

Is this relevant?

2004

2004

The term recursively enumerable set has its roots in logic but today is most commonly seen in reference to the theory of Turing… (More)

Is this relevant?

2003

2003

- A “Turing
- 2003

The tape is the machine’s “external memory”. It also has an internal memory, known as a state, which is represented by the letter… (More)

Is this relevant?

1998

1998

- Chikara Furusawa, Kunihiko Kaneko
- Artificial Life
- 1998

The origin of multicellular organisms and the mechanism of development in cell societies are studied by choosing a model with… (More)

Is this relevant?

1993

1993

We develop a higher level terminology for the SCM machine defined by Nakamura and Trybulec in [5]. Among numerous technical… (More)

Is this relevant?

1977

1977

- Armin B. Cremers, Thomas N. Hibbard
- Theor. Comput. Sci.
- 1977

A data space is a genefq _,..I mathematical model for data types with a dynamic component (proceduren). It consists of a set of… (More)

Is this relevant?