Irregular triangle read by rows: row n lists all of the distinct derivable strings in the MIU formal system that are n characters long.
A369173
Irregular triangle read by rows: row n lists all of the distinct derivable strings in the MIU formal system that are n characters long.
Terms
- a(0) =31a(1) =301a(2) =310a(3) =311a(4) =3001a(5) =3010a(6) =3011a(7) =3100a(8) =3101a(9) =3110a(10) =30001a(11) =30010a(12) =30011a(13) =30100a(14) =30101a(15) =30110a(16) =31000a(17) =31001a(18) =31010a(19) =31100a(20) =31111a(21) =300001a(22) =300010a(23) =300011a(24) =300100a(25) =300101a(26) =300110a(27) =301000a(28) =301001a(29) =301010
External references
- oeis: A369173