Googology Wiki
Advertisement
Googology Wiki

() & n = n

()() & n = n*2

(()) & n = ()()()...()()() & n with n ()'s

(())() & n = (()) & n + n

(())(()) & n = (())()()()...()()() & n with n ()'s

(()()) & n = (())(())(())...(())())()) & n with n (())'s

((())) & n = (()()()...()()()) & n with n ()'s

((())()) & n = ((()))((()))...((())) & n with n ((()))'s

((())(())) & n = ((())()()()...()()()) & n with n ()'s

((()())) & n = ((())(())...(())(())) & n with n (())'s

(((()))) & n = ((()()()...()()())) & n with n ()'s

[] & n = (((...((()))...))) & n with n levels

[][] & n = [](((...((()))...))) & n with n levels

[()] & n = [][][]...[][][] & n with n []'s

[()()] & n = [()][()][()]...[()][()][()] & n with n [()]'s

[()()()] & n = [()()][()()][()()]...[()()][()()][()()] & n with n [()()]'s

[(())] & n = [()()()...()()()] & n with n ()'s

[[]] & n = [(((...((()))...)))] & n with n levels

[[][]] & n = [[](((...((()))...)))] & n with n levels

[[()]] & n = [[][][]...[][][]] with n []'s

[[[]]] & n = (((...((()))...))) & n with n levels

{} & n = [[[...[[[]]]...]]] & n with n levels

{()} & n = {}{}{}...{}{}{} & n with n {}'s

{{}} & n = {[[[...[[[]]]...]]]} & n with n levels

etc.

Let replace () into ()_(), [] into ()_()(), {} into ()_()()(), etc.

Finally, limit is ()_()_()_..._()_()_()() & n.

Advertisement