User blog comment:Mush9/NOOP function/@comment-1605058-20161111205510/@comment-30167082-20161111214102

Okay: Let's give the example of this - ∈{a:[0,1],b:L}{aab} - it basically decribes a set of - {{00a},{00b},{00c},...,{00z},{01a},...,{11z}}. The main purpose of which is to describe the Busy Beaver function. I think it's a bad start though xD