Irregular triangle read by rows: row n lists the strings of the MIU formal system at the n-th level of the tree generated by recursively applying the system rules, starting from the MI string (see comments and example).

A368946

Irregular triangle read by rows: row n lists the strings of the MIU formal system at the n-th level of the tree generated by recursively applying the system rules, starting from the MI string (see comments and example).

Terms

    a(0) =31a(1) =310a(2) =311a(3) =31010a(4) =3110a(5) =31111a(6) =310101010a(7) =3110110a(8) =311110a(9) =311111111a(10) =301a(11) =310a(14) =31111011110a(15) =3010a(16) =3100a(17) =3111111110a(19) =3011111a(20) =3101111a(21) =3110111a(22) =3111011a(23) =3111101a(24) =3111110a(25) =3010a(26) =30101a(27) =31010

External references