Монстр-утконос из вчерашней лекции, житель цветной метабиблиотеки
[[[3,1],[3,2]],[[4,0],[4,2]]]
[[[4,1],[4,2]],[[3,0],[3,2]]]
[[[3,1],[3,2]],[[[4,1],[4,2]],[[4,0],[4,2]]]]
[[[3,1],[3,2]],[[[4,2],[4,0]],[[4,2],[4,1]]]]
[[[3,2],[3,1]],[[4,2],[4,0]]]
[[[4,2],[4,1]],[[3,2],[3,0]]]
[[[4,2],[3,0]],[[4,2],[3,1]]]
[[[4,1],[3,2]],[[4,2],[3,0]]]
[[[4,2],[3,1]],[[4,0],[3,2]]]
[[[4,0],[3,2]],[[4,1],[3,2]]]
[[[4,2],[3,1]],[[4,3],[2,0]]]
[[[4,3],[2,1]],[[4,2],[3,0]]]
[[[4,3],[2,0]],[[4,1],[3,2]]]
[[[4,0],[3,2]],[[4,3],[2,1]]]
[[[4,3],[2,0]],[[4,3],[2,1]]]
(порядок фиксирован, переставлять этажи нельзя)
на нем заканчиваются обозримые глазу конструкции, l_2l_2l_1 уже состоит из 2^{27} этажей. Цветные метабиблиотеки комбинаторно - это движения в море таких монстров-утконосов, перетекающих друг в друга посредством отождествления циферек внутри и отбрасывания мертвых кусков (мертвые куски сливаются с морем, становятся водой или жижей).
[[[3,1],[3,2]],[[4,0],[4,2]]]
[[[4,1],[4,2]],[[3,0],[3,2]]]
[[[3,1],[3,2]],[[[4,1],[4,2]],[[4,0],[4,2]]]]
[[[3,1],[3,2]],[[[4,2],[4,0]],[[4,2],[4,1]]]]
[[[3,2],[3,1]],[[4,2],[4,0]]]
[[[4,2],[4,1]],[[3,2],[3,0]]]
[[[4,2],[3,0]],[[4,2],[3,1]]]
[[[4,1],[3,2]],[[4,2],[3,0]]]
[[[4,2],[3,1]],[[4,0],[3,2]]]
[[[4,0],[3,2]],[[4,1],[3,2]]]
[[[4,2],[3,1]],[[4,3],[2,0]]]
[[[4,3],[2,1]],[[4,2],[3,0]]]
[[[4,3],[2,0]],[[4,1],[3,2]]]
[[[4,0],[3,2]],[[4,3],[2,1]]]
[[[4,3],[2,0]],[[4,3],[2,1]]]
(порядок фиксирован, переставлять этажи нельзя)
на нем заканчиваются обозримые глазу конструкции, l_2l_2l_1 уже состоит из 2^{27} этажей. Цветные метабиблиотеки комбинаторно - это движения в море таких монстров-утконосов, перетекающих друг в друга посредством отождествления циферек внутри и отбрасывания мертвых кусков (мертвые куски сливаются с морем, становятся водой или жижей).