О лабиринтах-ловушках для коллективов автоматов

В работе исследуется задача обхода мозаичных лабиринтов коллективами автоматов. Явно строится бесконечный связный мозаичный лабиринт в трехмерном пространстве, такой, что любой коллектив автоматов при произвольном стартовом расположении обходит лишь конечный его фрагмент (лабиринт-ловушка); размер этого фрагмента не превосходит числа, которое зависит только от того, какой коллектив автоматов рассматривается. Ранее в работе [2] было анонсировано наличие такой ловушки в трехмерном пространстве для заданного коллектива автоматов, что теперь следует из нашей конструкции. Дается и одно достаточное условие для того, чтобы любой лабиринт, удовлетворяющий ему, был вложимым в пространство подходящей размерности.