Моделирование самоконструирующейся системы на универсальном автомате

В работе описан универсальный автомат, состоящий (по порядку) из $n\log^2n$ звеньев. В нем может моделироваться любой самоконструирующийся автомат, пока он состоит не более чем из $n$ звеньев.