Об отличимости состояний автоматов

В статье исследуются различные варианты понятия отличимости, возникающие в результате расслоения классического понятия отличимости. Рассматривается отличимость в смысле заданной метрики на множестве выходных символов, $k$-отличимость и $\infty$-отличимость. Для каждого вида получено точное значение соответствующей функции Шеннона. Найдено предельное значение параметра $k$, при котором из $k$-отличимости следует $\infty$-отличимость.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект 02–01–00162.