Indistinguishability of finite automata with constrained behavior