OFFSET
0,1
COMMENTS
See A368946 for the description of the MIU formal system and the triangle of corresponding strings.
REFERENCES
Douglas R. Hofstadter, Gödel, Escher, Bach: an Eternal Golden Braid, Basic Books, 1979, pp. 33-41 and pp. 261-262.
LINKS
Paolo Xausa, Table of n, a(n) for n = 0..3670 (rows 0..7 of the triangle, flattened).
Wikipedia, MU Puzzle.
EXAMPLE
Triangle begins:
[0] 2;
[1] 3 3;
[2] 5 4 5;
[3] 9 7 6 9 3 3;
[4] 17 13 11 4 4 10 17 7 7 7 7 7 7 4 5 5;
...
MATHEMATICA
MIUStepOW3[s_] := Flatten[Map[{If[StringEndsQ[#, "1"], # <> "0", Nothing], # <> #, StringReplaceList[#, "111" -> "0"], StringReplaceList[#, "00" -> ""]}&, s]];
With[{rowmax = 5}, StringLength[NestList[MIUStepOW3, {"1"}, rowmax]]] + 1
CROSSREFS
KEYWORD
nonn,tabf
AUTHOR
Paolo Xausa, Jan 15 2024
STATUS
approved