Замедление при универсальном моделировании

Рассматриваются вычислительные среды (итеративные структуры) на решетках и выводятся оценки замедления, которое возникает при моделировании одной такой средой большого класса сред. Показывается, что требование гарантированного замедления на всем классе сред с фиксированными входным и выходным алфавитами не совместимо с требованием поэлементной перекодировки начального состояния моделируемой среды в начальное состояние модели (регулярное моделирование). Строятся примеры универсальных моделей с минимально возможным гарантированным замедлением и примеры регулярных универсальных моделей.