|
%I #79 Feb 19 2023 17:59:47
%S 5,13,14,22,25,46,47,54,63,65,70,74,78,80,91,93,106,110,117,118,128,
%T 144,148,160,166,169,190,195,199,209,222,229,234,236,239,240,243,252,
%U 254,263,264,265,266,278,281,283,286,302,304,310,324,326,327,336,339
%N Numbers m such that Post's tag system started at the word (100)^m eventually dies (i.e., reaches the empty string).
%C These are the numbers m such that A291793(m)=0, or equivalently A284121(m)=1.
%C Comments from _Lars Blomberg_ on the method used in calculating the terms, Sep 14 2017: (Start)
%C Here is an overview of the method I have been using.
%C Build the words in a large byte array. Each iteration just adds 00 or 1101 to the end and removes 3 bytes from the beginning, without moving the whole word, just keeping track of the length of the word and where it starts within the array.
%C When the word reaches the end of the array it is moved to the beginning. This allows for very fast iterations, as long as the word is substantially shorter than the array.
%C The size of the byte array is 10^9, this is the longest word we can handle.
%C As for cycle detection, the words at iterations A: k*10^5 and B: (k+1)*10^5 are saved.
%C For iterations above B when the current word has the same length as B (a fast test), then check if the current word is equal to the one at B. If so, we have a cycle whose length can be determined simply by continued iterating. When the current iteration reaches C: (k+2)*10^5, move B->A, C->B, and continue.
%C The cycle has started somewhere between A and B and we know the cycle length. So restart two iterations at A and initially iterate one of them by the cycle length. Then iterate the two in parallel (being a cycle length apart) until they are equal, which gives the start of the cycle. Only the two words being iterated need to be stored.
%C One drawback with this method is that it cannot detect a cycle longer than 10^5 (or whatever value we choose). In that case the iterations will go on forever.
%C (End)
%C The trajectory of the word (100)^m for m=110 dies after 43913328040672 iterations, so 110 is a term in this sequence. The longest word in the trajectory is 31299218, which appeared at iteration 14392308412264. - _Lars Blomberg_, Oct 04 2017
%H Lars Blomberg, <a href="/A291792/b291792.txt">Table of n, a(n) for n = 1..1100</a>
%H Peter R. J. Asveld, <a href="http://doc.utwente.nl/66184/1/1988m20.pdf">On a Post's System of Tag</a>. Bulletin of the EATCS 36 (1988), 96-102.
%H N. J. A. Sloane, <a href="/A291792/a291792.txt">Maple code for A291792, A284119, A291793, A284121), A291794, A291795, A291796, A292089, A292090, A292091, A292092, A292093, A292094</a>.
%H N. J. A. Sloane, Three (No, 8) Lovely Problems from the OEIS, Experimental Mathematics Seminar, Rutgers University, Oct 05 2017, <a href="https://vimeo.com/237029685">Part 1</a>, <a href="https://vimeo.com/237030304">Part 2</a>, <a href="https://oeis.org/A290447/a290447_slides.pdf">Slides</a>. (Mentions this sequence)
%H Shigeru Watanabe, <a href="/A284116/a284116.pdf">Periodicity of Post's normal process of tag</a>, in Jerome Fox, ed., Proceedings of Symposium on Mathematical Theory of Automata, New York, April 1962, Polytechnic Press, Polytechnic Institute of Brooklyn, 1963, pp. 83-99. [Annotated scanned copy]
%Y Cf. A284116, A284119, A284121, A291793.
%Y Asveld's Table 1 gives data about the behavior of Post's 3-shift tag system {00/1101} applied to the word (100)^n. The first column gives n, the nonzero values in column 2 give A291792, and columns 3 through 7 give A284119, 291793 (or A284121), A291794, A291795, A291796. For the corresponding data for Watanabe's 3-shift tag system {00/1011} applied to (100)^n see A292089, A292090, A292091, A292092, A292093, A292094.
%K nonn
%O 1,1
%A _N. J. A. Sloane_, Sep 04 2017
%E a(8)-a(17) from _Lars Blomberg_, Sep 08 2017
%E a(18)-a(55) from _Lars Blomberg_, Oct 15 2017
|
