Preset Distinguishing Sequences and Diameter of Transformation Semigroups

Pavel Panteleev

We investigate the length $\ell (n,k)$ of a shortest preset distinguishing sequence (PDS) in the worst case for a $k$-element subset of an $n$-state Mealy automaton. It was mentione…