Skip to main content
×
×
Home

A simple solution of the uniform halting problem1

  • Gabor T. Herman (a1)
Extract

The uniform halting problem (UH) can be stated as follows.

Give a decision procedure which for any given Turing machine (TM) will decide whether or not it has an immortal instantaneous description (ID).

An ID is called immortal if it has no terminal successor. As it is generally the case in the literature (see e.g. Minsky [3, p. 118]) we assume that in an ID the tape must be blank except for some finite numbers of squares. If we remove this restriction the UH becomes the immortality problem (IP). The UH should not be confused with the initialised uniform halting problem (whether or not a TM has an immortal ID when started in a specified state) which can easily be shown to be undecidable (see e.g. Minsky [3, p. 151]).

Copyright
References
Hide All
[1]Davis, M. D., A note on universal Turing machines. Automata studies, Annals of Mathematical Studies, no. 34, Princeton Univ. Press, Princeton, N.J., 1956, pp. 167175.
[2]Hooper, P. K., The undecidability of the Turing machine immortality problem, this Journal, vol. 31 (1966), pp. 219234.
[3]Minsky, M. L., Computation; finite and infinite machines, Prentice-Hall, Englewood Cliffs, N.J., 1967.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed