Tag system (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Tag system" in English language version.

refsWebsite

Global rank English rank

2^nd place

6^th place

26^th place

20^th place

887^th place

714^th place

5^th place

11^th place

8^th place

70^th place

63^rd place

low place

1^st place

archive.org

Post 1943. Post, Emil (1943). "Formal reductions of the combinatorial decision problem". American Journal of Mathematics. 65 (2): 197–215. doi:10.2307/2371809. JSTOR 2371809. (Tag systems are introduced on p. 203ff.)
In a chapter 14 titled "Very Simple Bases for Computability", Minsky (1967) presents a very readable (and exampled) subsection 14.6 The Problem of "Tag" and Monogenic Canonical Systems (pp. 267–273) (this sub-section is indexed as "tag system"). Minsky relates his frustrating experiences with the general problem: "Post found this (00, 1101) problem "intractable," and so did I, even with the help of a computer." He comments that an "effective way to decide, for any string S, whether this process will ever repeat when started with S" is unknown although a few specific cases have been proven unsolvable. In particular he mentions Cocke's Theorem and Corollary 1964. Minsky, Marvin L. (1967). Computation: Finite and Infinite Machines. Englewood Cliffs, N.J.: Prentice–Hall. pp. 267–273. ISBN 978-0131655638. LCCN 67-12342.

Woods, Damien; Neary, Turlough (2009-02-17). "The complexity of small universal Turing machines: A survey" (PDF). Theoretical Computer Science. Computational Paradigms from Nature. 410 (4): 443–450. doi:10.1016/j.tcs.2008.09.051. ISSN 0304-3975. S2CID 10257004.

Cook 2004. Cook, Matthew (2004). "Universality in Elementary Cellular Automata". Complex Systems. 15: 1–40. Archived (PDF) from the original on 28 May 2016.

Post 1943. Post, Emil (1943). "Formal reductions of the combinatorial decision problem". American Journal of Mathematics. 65 (2): 197–215. doi:10.2307/2371809. JSTOR 2371809. (Tag systems are introduced on p. 203ff.)
Rogozhin 1996. Rogozhin, Yurii (20 November 1996). "Small Universal Turing Machines". Theoretical Computer Science. 168 (2): 215–240. doi:10.1016/S0304-3975(96)00077-1.
Woods, Damien; Neary, Turlough (2009-02-17). "The complexity of small universal Turing machines: A survey" (PDF). Theoretical Computer Science. Computational Paradigms from Nature. 410 (4): 443–450. doi:10.1016/j.tcs.2008.09.051. ISSN 0304-3975. S2CID 10257004.

In a chapter 14 titled "Very Simple Bases for Computability", Minsky (1967) presents a very readable (and exampled) subsection 14.6 The Problem of "Tag" and Monogenic Canonical Systems (pp. 267–273) (this sub-section is indexed as "tag system"). Minsky relates his frustrating experiences with the general problem: "Post found this (00, 1101) problem "intractable," and so did I, even with the help of a computer." He comments that an "effective way to decide, for any string S, whether this process will ever repeat when started with S" is unknown although a few specific cases have been proven unsolvable. In particular he mentions Cocke's Theorem and Corollary 1964. Minsky, Marvin L. (1967). Computation: Finite and Infinite Machines. Englewood Cliffs, N.J.: Prentice–Hall. pp. 267–273. ISBN 978-0131655638. LCCN 67-12342.

Woods, Damien; Neary, Turlough (2009-02-17). "The complexity of small universal Turing machines: A survey" (PDF). Theoretical Computer Science. Computational Paradigms from Nature. 410 (4): 443–450. doi:10.1016/j.tcs.2008.09.051. ISSN 0304-3975. S2CID 10257004.

Cook 2004. Cook, Matthew (2004). "Universality in Elementary Cellular Automata". Complex Systems. 15: 1–40. Archived (PDF) from the original on 28 May 2016.

Woods, Damien; Neary, Turlough (2009-02-17). "The complexity of small universal Turing machines: A survey" (PDF). Theoretical Computer Science. Computational Paradigms from Nature. 410 (4): 443–450. doi:10.1016/j.tcs.2008.09.051. ISSN 0304-3975. S2CID 10257004.