Skip to main content
SpringerLink
Log in

Tag systems and lag systems

  • Published:
Mathematische Annalen Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Minsky, M. L.: Recursive unsolvability of Post's problem of Tag. Ann. Math.74, 437–455 (1961).

    Google Scholar 

  2. --Universality of (p=2) Tag systems. A. I. Memo No. 33, Cambridge, Mass. (1962). A modified version of this (Memo No. 52, April 1963) has been prepared byCocke andMinsky for publication. This new proof is such that a simple modification would yield Theorem 5 above.

  3. Post, E. L.: Formal reduction of the general combinatorial decision problem. Am. J. Math.65, 197–215 (1943).

    Google Scholar 

  4. Shepherdson, J. C., andH. E. Sturgis: The computability of partial recursive functions by forms of turing machines. Abstracts, International Congress for Logic, Methodology and Philosophy of Science, Stanford, California (1960), p. 17. The full paper has just appeared as “Computability of recursive functions”, Journal of Association for Computing Machinery10, 217–255 (1963).

    Google Scholar 

  5. Wang, Hao: A variant to Turing's theory of computing machines. Journal of Association for Computing Machinery4, 63–92 (1957).

    Google Scholar 

  6. --Tag systems and lag systems. (Abstract) Notices of the Am. Math. Soc.9, 407 (1962).Alan Tritter has recently made use of results in [2] and [6] to obtain a universal Turing machine with 4 symbols and 6 states, the smallest at present.

Download references

Author information

Authors and Affiliations

  1. Cambridge, Mass.

    Hao Wang

Authors
  1. Hao Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

The work for this paper was supported by Bell Telephone Laboratories, Murray Hill, New Jersey.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wang, H. Tag systems and lag systems. Math. Ann. 152, 65–74 (1963). https://doi.org/10.1007/BF01343730

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01343730

Search

Navigation