Reconstruction of an automaton from experiments

We study a problem on the reconstruction of an automaton from experiments conducted with it. We introduce the notion and find a criterion for “nonredundancy” of an automaton that realizes a given set of experiments. We consider separately the case when such an automaton is unique, and find a corresponding criterion.