OFFSET
0,2
COMMENTS
See A368946 for the description of the MIU formal system.
REFERENCES
Douglas R. Hofstadter, Gödel, Escher, Bach: an Eternal Golden Braid, Basic Books, 1979, pp. 33-41.
LINKS
FORMULA
a(n) >= A331536(n+1).
MATHEMATICA
MIUStepW3[s_] := Flatten[Map[{If[StringEndsQ[#, "1"], # <> "0", Nothing], # <> #, StringReplaceList[#, {"111" -> "0", "00" -> ""}]}&, s]];
With[{rowmax = 9}, Accumulate[Map[Length, NestList[MIUStepW3, {"1"}, rowmax]]]]
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Paolo Xausa, Jan 14 2024
STATUS
approved