On distinguishability of states of automata