О восстановлении автомата по экспериментам

Изучается задача восстановления автомата по проведенным с ним экспериментам. Введено понятие и найден критерий “неизбыточности” автомата, реализующего заданное множество экспериментов. Особо рассмотрен случай, когда такой автомат единственный; найден соответствующий критерий.