Об обходе конечных лабиринтов системами автоматов

В работе устанавливается существование двух систем взаимодействующих автоматов (одна из которых состоит из двух автоматов-пешек, а другая – из одного автомата и двух камней), которые обходят класс всех плоских лабиринтов. Для случая подкласса плоских лабиринтов, состоящего из так называемых $\pi$-лабиринтов, в работе [4] приведен эскиз доказательства указанного выше факта.