User blog comment:Mh314159/A hopefully powerful new system/@comment-33713741-20190627114835/@comment-35470197-20190627224119

> if y is a string of any length a,b,c,...,q with final entry q, then y' is the same string with the penultimate entry decreased by 1, and

I think that "any length" is not what you intend. Isn' it "length greater than 1"?

> And for the examples, I think you missed the q-1 part of the definition

Uh-huh. You are right. Sorry, I was just silly.

By the way, if you use "…", then it might be better to write n][y' a][y'],[b][y'],[c][y'],...[p][y'],q-1] instead of [[n][y' [[a][y'],[b][y'],[c][y'],...q-1], because the resulting sequence seems to be intended to be of the same length as [n][a,b,c,…p,q].

I will rea the definition deeper later.