Моделирование схем из функциональных элементов машинами Тьюринга

Рассматривается моделирование схем из функциональных элементов универсальными многоленточными машинами Тьюринга. Информация о моделируемой схеме записана на одной из лент машины. Показано, что время моделирования произвольной схемы $S$, состоящей из $L(S)$ элементов, на двухленточной универсальной машине Тьюринга при достаточно большом $L(S)$ не превосходит величины $L(S)^{1+\mathscr O\big(1/\sqrt{\log_2L(S)}\big)}$. Библиогр. 11.