User blog comment:Antares.I.G.Harrison/Complete Graham Notation/@comment-1605058-20150306121239

I don't see the pattern which arises from rules 6, 7, 8. Are you sure rule 7 is correct?

I believe you mean rule 10 to be [a,b,(c)] = [a,b,[a,b,(c-1)]].

You also never defined what higher dimensional arrays are, or how they look like.