[DO2] STASYS - CONTEMPLATING MORTALITY

by Das Omen

/
1.
2.
3.
4.

about

In the statement above, the configuration is a pair <q, w>, where q is one of the machine's states (not necessarily its initial state) and w is an infinite sequence of symbols representing the initial content of the tape. Note that while we usually assume that in the starting configuration all but finitely many cells on the tape are blanks, in the mortality problem the tape can have arbitrary content, including infinitely many non-blank symbols written on it.

Philip K. Hooper proved in 1966 that the mortality problem is undecidable. However, it can be shown that the set of Turing machines which are mortal (i.e. halt on every starting configuration) is recursively enumerable.

credits

released July 22, 2017

tags

license

all rights reserved

about

Das Omen NB, Netherlands

contact / help

Contact Das Omen

Streaming and
Download help