Отличимость $s$-лабиринтов

Рассматривается задача об отличимости вершин конечных плоских прямоугольных и $s$-лабиринтов. Исследуются задачи, аналогичные классическим задачам теории автоматов: отличимости вершин и лабиринтов. Показано, что для изучаемого класса они разрешимы. Найдена оценка длин слов, достаточных для различения вершин лабиринтов. Доказано совпадение отношений изоморфизма и эквивалентности для прямоугольных лабиринтов.