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

Исследуется поведение конечных автоматов в автоматных лабиринтах. Вводится понятие отличимости автоматом вершин лабиринтов, которое оказывается полезным в различных задачах, связанных с распознаванием автоматом неизвестных характеристик лабиринтов. Получены точные оценки наименьшего времени, за которое отличаются автоматом две отличимые вершины одного либо двух автоматных лабиринтов.