Counting techniques to label constant weight Gray codes with links to minimal generating sets of semigroups

Let τ be a partition of the positive integer n. A partition of the set Xn={1,2,…,n} is said to be of type τ if the sizes of its classes form the partition τ of n. Given 1